逻辑非

此條目需要擴充。 (2017年10月2日) 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。

逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。

命题A的非可以有几种写法：

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

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

¬p的真值表定義如下：

~A即在A的条件下，结论不成立。例如，如果A代表命题“今天星期六”，则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。

~A为真当且仅当A为假。

这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 查 论 编