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