Absorption laws: and . When one part already guarantees the result, the other part is absorbed.
Domination laws: and . 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.