Logical Equivalences

Two boolean expressions are logically equivalent if they produce the same output for all input combinations. De Morgan's Laws are examples of equivalences.

Other equivalences: double negation ($\neg(\neg A) = A$), idempotence ($A \land A = A$, $A \lor A = A$), and identity laws ($A \land true = A$, $A \lor false = A$).

You can use equivalences to simplify code. If you see x && true, simplify to x. If you see x || false, simplify to x. Remove redundancy.