Yをつくる

ド・モルガンの定理を使う　A+B = A B

ド・モルガンの定理を使う　A B = A+B

二重否定を整理する

乗法標準形論理式