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