Editor: Simplification of several boolean expressions.