ブール式内の a || b を !(!a && !b) に、または a && b を !(!a || !b) に置換します。