邏輯非

邏輯非是布林代數中一種一元運算。它的運算結果是將運算元的真值反相。

文氏圖$\neg A$

文氏圖$\neg B$

命題A的非可以有幾種寫法：

• A（A上加一橫）
• ~A
• ¬A
• NOT A

以上可以讀做"A不成立"或者"非A"。

¬p的真值表定義如下：

¬p的真值表

p	¬p
真	假
假	真

~A即在A的條件下，結論不成立。例如，如果A代表命題「今天星期六」，則它的~A代表命題「今天不是星期六」或「今天是星期日、一、二、三、四或五」。

~A為真若且唯若A為假。