Boolean absorption

AND absorption

When we have an expression in the form , we can simplify it. We know that both and the thing on the right must be true for the whole expression to be true. But if just is true, then the right hand side is also true, so we can just ignore it and simplify the expression to just .

OR absorption

When we have an expression in the form , we can also simplify it. We know that either or the thing on the right must be true for the whole expression to be true. But if just is true, then the right hand side is also true, so we can just ignore it and simplify the expression to just .