逻辑非

维基百科,自由的百科全书
跳转至: 导航搜索

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

命题 A可以有几种写法:

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

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

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

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

参见[编辑]

周易六十四卦列表#否