De Morgan’s Laws

First Law: ¬(p^q) ≡ ¬pV¬q

Second Law: ¬(pVq) ≡ ¬p ^ ¬q

• visual representation of de morgan’s law

Key Logical Equivalences

• Identity Laws:
• Domination Laws:
• Idempotent Laws:
• Double Negation Law:
• Negation Laws:
• Commutative Laws:
• Associative Laws:
• Distributive Laws:
• Absorption Laws:
• MORE LOGICAL EQUIVALENCES

Proof Rules of Inference

• Basic Rules of Inference
• Quantified Rules of Inference

Set Info