Identity Laws
p ^ T = p
p v F = p
Domination Laws
p v T = T
p ^ F = F
Negation Laws
p v ~p = T
p ^ ~p = F
Associative Laws
( p ^ q) ^ r = p ^ ( q ^ r)
p v q) v r = p v (q v r
Commutative Laws
p v q = q v p
p ^ q = q ^ p
DeMorgan’s Laws
~( p v q) = ~p ^ ~q
~( p ^ q) = ~p v ~q
Distributive Laws
p v (q ^ r) = (p v q) ^ (p v r)
p ^ (q v r) = (p ^ q) v (p ^ r)
Double Negation Law
~(~p ) = p
Absorption Laws
p ^ (p v q) = p
p v ( p ^ q) = p
Idempotent Law
p v p = p
p ^ p = p