boolean expression simplification

Top