Boolean OR inverses

If we OR together value and its inverse (NOT , or ), we get , because:

• So

That’s because OR requires at least one side to be true if we want a true result, and we know that one of the sides is true and one is false, so at least one side is true.

Simplifying, just replace anywhere we have something ORed with its inverse with just . For example, simplifies to just .