Replaces a || b with !(!a && !b) or a && b with !(!a || !b) within a boolean expression.