Logical Equivalence Laws

Associative Laws

(p∨q)∨r≡p∨(q∨r) (p∧q)∧r≡p∧(q∧r)

Double Negation Law

-(-p)≡p

Identity Laws

p∧T≡p p∨F≡p

Absorption Laws

p∨(p∧q)≡p p∧(p∨q)≡p

Distributive Laws

p∨(q∧r)≡(p∨q)∧(p∨r) p∧(q∨r)≡(p∧q)∨(p∧r)

Negation Laws

p∨-p≡T p∧-p≡F

Domination Laws

p∨T≡T p∧F≡F

Idempotent Laws

p∨p≡p p∧p≡p

Commutative Laws

p∨q≡q∨p p∧q≡q∧p

De Morgan's Laws

⁻(p∧q)≡-p∨-q -(p∨q)≡-p∧pq