Replaces either
    a || b with !(!a && !b) or
    a && b with !(!a || !b)
when inside a boolean expression.