Simplify truth table