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 (), idempotence (, ), and identity laws (, ).
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.