逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题 p的非可以有几种写法:
以上可以读做 " p不成立"或者 "非 p"。
~p 为真 当且仅当 p为假。 例如,如果p代表命题“今天星期六”,则它的非~p代表命题“今天不是星期六”。
页面分类: 布尔代数