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