The flashcards below were created by user
nimmie
on FreezingBlue Flashcards.

Double Negation
(P')' <=> P

Commutative Laws
 P v Q <=> Q v P
 P ^ Q <=> Q ^ P

Associative Laws
 (P v Q) v R <=> P v (Q v R)
 (P ^ Q) ^ R <=> P ^ (Q ^ R)

Distributive Laws
 P v (Q ^ R) <=> (P v Q) ^ (P v R)
 P ^ (Q v R) <=> (P ^ Q) v (P ^ R)

