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