Simplify some boolean expressions.