Rules of Replacement II Flashcards
1
Q
Negation Laws
A
p v ~p <=> T
p ^ ~p <=> F
2
Q
Distributive Laws
A
p v (q ^ r) <=> (p v q) ^ (p v r)
p ^ (q v r) <=> (p ^ q) v (p ^ r)
3
Q
De Morgan’s Laws
A
~(p v q) <=> (~p ^ ~q)
~(p ^ q) <=> (~p v ~q)
4
Q
Domination Laws
A
p v T <=> T
p ^ F <=> F
5
Q
Absorption Laws
A
p v (p ^ q) <=> p
p ^ (p v q) <=> p