booleanequation