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