simplifying a boolean expression - Search