Replaces a current binary boolean expression and its subexpressions with an equivalent negated ones.