Discrete Mathematics

p∧T≡p

• Identity Law

• Distributive Law

• De Morgan’s Law

• Universal Bound (Null Law)

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

• Distributive Law

• De Morgan’s Law

• Identity Law

• Universal Bound

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

• De Morgan’s Law

• Distributive Law

• Identity Law

• Universal Bound

p∨F≡p

• Universal Bound

• Identity Law

• Distributive

• Associative

p∨p≡p

• Idempotent Law

• Contrapositive

• Associative Law

• Absorption Law

(p∧q)→r≡p→(q→r)

• Exportation Law

• Idempotent Law

• Universal Bound

• Associative Law

p→q≡¬q→¬p

• Contrapositive

• Associative Law

• Idempotent Law

• Absorption Law

p∨q≡q∨p

• Commutative Law

• Associative Law

• Inverse Law

• Distributive Law

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

• Associative Law

• Commulative Law

• Distributive Law

• Identity Law

p∨(p∧q)≡p

• Absorption Law

• Exportation Law

• Contrapositive

• Reductio Ad Absurdum