new: boolean expression simplifier [part 1]