Replaces the topmost binary boolean expression and its subexpressions with an equivalent negated ones.