ブール式内である場合に a || b を !(!a && !b) に、または a && b を !(!a || !b) に置換します。