ド・モルガンの法則
古典論理ではド・モルガンの法則により、次のように変形できる。