Absorption and Domination Laws

Absorption laws: $A \land (A \lor B) = A$ and $A \lor (A \land B) = A$. When one part already guarantees the result, the other part is absorbed.

Domination laws: $A \land false = false$ and $A \lor true = true$. False dominates AND (one false makes the whole expression false). True dominates OR (one true makes the whole expression true).

These laws let you simplify expressions. If you see x && false anywhere in your code, replace it with false. If you see x || true, replace with true.