Editor: Simplication of a boolean expression.