ド・モルガンの法則
これらは、述語論理に関するド・モルガンの法則によって、次のように書き換えることができる。