:: kepentingan Dalam "Logical Equivalent"::

• Identity

– p ∧ T <=> p

– p ∨ F <=> p

•  Domination

– p ∨ T <=> T

– p ∧ F <=> F

•  Idempotent

– p ∨ p <=> p

– p ∧ p <=> p

•  Double negation

– ¬(¬p) <=> p

• Commutative

– p ∨ q <=> q ∨ p

– p ∧ q <=> q ∧ p

• Associative

– (p ∨ q) ∨ r <=> p ∨ (q ∨ r)

– (p ∧ q) ∧ r <=> p ∧ (q ∧ r)

•  Distributive

– p∨ (q ∧ r) <=> (p ∨ q) ∧ (p ∨ r)

– p ∧ (q ∨ r) <=> (p ∧ q) ∨ (p ∧ r)

• De Morgan

– ¬( p ∨ q ) <=> ¬p ∧ ¬q

– ( p ∧ q ) <=> ¬p ∨ ¬q

•  Other useful equivalences

– p ∨ ¬p <=> T

– p ∧ ¬p <=> F

– p → q <=> (¬p ∨ q)