此条目需要扩充. (2017年10月2日)
请协助改善这篇条目,更进一步的信息可能会在讨论页或扩充请求中找到.请在扩充条目后将此模板移除.
逻辑非是布尔代数中一种一元运算.它的运算结果是将运算元的真值取反.
以上可以读做"A不成立"或者"非A".
~A即在A的条件下,结论不成立.例如,如果A代表命题"今天星期六",则它的~A代表命题"今天不是星期六"或"今天是星期日,一,二,三,四或五".
~A为真当且仅当A为假.
这是一篇关于数学的小作品.你可以通过编辑或修订扩充其内容.
本页面最后修订于2022年12月2日 (星期五) 12:23.