ドモルガンを簡単にいうと、notのandとorのnotは同じ、という法則です(全然簡単じゃない)。 if !(a and b) then if !a or !b then が等しいという法則です(やっぱり難しい)。