逻辑非

✍ dations ◷ 2025-12-03 08:56:29 #布尔代数,逻辑联结词

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

命题的非可以有几种写法:

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

的真值表定义如下:

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

~为真当且仅当为假。

相关

  • 高分子高分子物理(英语:Polymer physics)是研究高分子物质物理性质的科学。其研究的主要方向包括高分子形态,高分子机械性能,高分子溶液,高分子结晶等热力学和统计力学方向的学科,以及高
  • 拼音标音(英语:phonetic transcription),是采用符号或记号来标注语素文字的发音方式及语调,亦可称为音标或标音符号。标音符号主要有两类,一类是以拉丁字母为基础的标音符号如国际音标
  • 中央商务区悉尼中心商务区(英语:Sydney central business district,(CBD))是澳大利亚新南威尔士州首府悉尼的商业中心。悉尼中心商务区在很大程度上与悉尼的市中心悉尼城区(Sydney City)吻合,因
  • 莫尔加尼尿道陷窝莫尔加尼尿道陷窝(英语:Lacunae of Morgagni),也称男性尿道陷窝、尿道舟状窝(英语:lacunae urethralis, urethrae masculinae or the crypts of Morgagni),是尿道表皮黏膜上的小型陷
  • 秀丽·布丝雪莉·布思(英语:Shirley Booth,1898年8月30日-1992年10月16日),美国女演员,曾获得奥斯卡最佳女主角奖。
  • 阿伏加德罗常数在物理学和化学中,阿伏伽德罗常数(符号: N A {\displaystyle N_{A}} 或
  • 潘克伦姚明(1980年9月12日-),生于中国上海市,祖籍江苏省苏州市吴江区震泽镇,著名篮球运动员,曾为中国国家篮球队队员,曾效力于中国篮球职业联赛(CBA)上海大鲨鱼篮球俱乐部和美国国家篮球协会
  • 兖菏片中原官话兖菏片是根据贺巍《中原官话分区(稿)》所划分出来的中原官话分区之一。山东省 兖州区、菏泽市、枣庄市、郯城县、临沂市、苍山县、费县、平邑县、滕州市、微山县、临
  • 国风国风,构成《诗经》的三大部分“风”、“雅”、“颂”中之“风”。“风”是乐曲的统称,国风即西周初年至春秋时代华夏诸侯国的乐歌。诗经中之国风共十五组,包括周南、召南、邶、
  • 弗里德里希·尼采弗里德里希·威廉·尼采(德语:Friedrich Wilhelm Nietzsche/ˈniːtʃə/; 德语:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI"