万维百科

逻辑非

文氏图
文氏图

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

命题A可以有几种写法:

  • AA上加一横)
  • ~A
  • ¬A
  • NOT A
  • !A

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

¬p真值表定义如下:

¬p的真值表
p ¬p

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

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

参见


本页面最后更新于2021-07-03 14:18,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器