ドモルガンの法則
ブール式の内部 にある a or bnot(not a and not b) に、または a and bnot(not a and not b)
置換することで適用します。