ド・モルガンの法則を使用して boolean 式を同等の式に変換します (!a || !b!(a && b) に、または !a && !b!(a || b) に置換します)。