Home > Preview
The flashcards below were created by user
mbj12
on FreezingBlue Flashcards.





p∨q⇔q∨p
p∧q⇔q∧p
Commutative Laws

(p∨q)∨r⇔p∨(q∨r)
(p∧q)∧r⇔p∧(q∧r)
Associative Laws

¬(p∨q)⇔¬p∧¬q
¬(p∧q)⇔¬p∨¬q
DeMorgan's Laws


p→q⇔¬q→¬p
Contrapositive Law

¬(p→q)⇔p∧¬q
Negation of Implication Law

p∨(q∧r)⇔(p∨q)∧(p∨r)
p∧(q∨r)⇔(p∧q)∨(p∧r
Distributive Laws


p∨T⇔T
p∧F⇔F
Domination Laws

p∨p⇔p
p∧p⇔p
Idempotent Laws

p∨(p∧q)⇔p
p∧(p∨q)⇔p
Absorption Laws

