否定
他の論理演算と違い、対象となる命題が一つという事から、単項演算であることがわかる。
ド・モルガンの法則
命題 p の否定は、以下のように複数の表記がなされる。