Logic Laws Flashcards
1
Q
Identity Laws
A
p ^ T = p
p v F = p
2
Q
Domination Laws
A
p v T = T
p ^ F = F
3
Q
Negation Laws
A
p v ~p = T
p ^ ~p = F
4
Q
Associative Laws
A
( p ^ q) ^ r = p ^ ( q ^ r)
p v q) v r = p v (q v r
5
Q
Commutative Laws
A
p v q = q v p
p ^ q = q ^ p
6
Q
DeMorgan’s Laws
A
~( p v q) = ~p ^ ~q
~( p ^ q) = ~p v ~q
7
Q
Distributive Laws
A
p v (q ^ r) = (p v q) ^ (p v r)
p ^ (q v r) = (p ^ q) v (p ^ r)
8
Q
Double Negation Law
A
~(~p ) = p
9
Q
Absorption Laws
A
p ^ (p v q) = p
p v ( p ^ q) = p
10
Q
Idempotent Law
A
p v p = p
p ^ p = p