逻辑非

✍ dations ◷ 2025-11-12 17:32:52 #布尔代数,逻辑联结词

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

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

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

的真值表定义如下:

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

~为真当且仅当为假。

相关

  • 美国音乐美国音乐反映了该国多元种族混合的文化。该国音乐受到西非、爱尔兰(英语:music of Ireland)、苏格兰(英语:music of Scotland)和欧洲大陆音乐的影响,最出名的音乐类型包括爵士、蓝
  • 普林斯巴期普林斯巴期(英语:Pliensbachian)是侏罗纪的第三个时期,年代大约位于190.8–182.7百万年前。
  • 孢印b白色/b孢子印是辨别蘑菇孢子颜色的一种简便易行的方法,它能在缺乏显微镜观察或化学染色的情况下对蘑菇进行初步鉴定。孢子印由菌褶或菌管中的孢子散落沉积而成。制作孢子印时将菌柄
  • 格孢菌亚纲参见内文格孢菌亚纲(学名:Pleosporomycetidae)是子囊菌门座囊菌纲下的亚纲,共包括纵裂菌目(Hysteriales)、Jahnulales、Mytilinidiales、格孢菌目(Pleosporales)四个目。这一亚纲的
  • 干扰理论在心理学中,记忆(主要为长期记忆)由于有相同的提示(cue),因此在提取(retrieval)记忆时,记忆彼此互相抑制,形成遗忘(forgetting)现象。抑制可分为两种:顺摄抑制(proactive inhibitio
  • 龙华区龙华区是中华人民共和国广东省深圳市下辖的一个市辖区,辖区面积175.58平方公里,2010年末常住人口137.9万人(其中户籍人口11.4万人)。龙华区位于深圳市中北部,东与龙岗区相邻,南与
  • 苏厄德苏厄德(英语:Seward),是美国阿拉斯加州的一座城市。该市的人口在2000年为2830人,2010年有2693人。人口在阿拉斯加州排行第19。
  • 青山湖区青山湖区是中国江西省南昌市的一个市辖区。总面积为220平方公里,2003年人口为67.2万。2001年南昌市郊区正式更名青山湖区。青山湖区早在新石器晚期(约5000年)就有原始居民定居
  • 昌九城际铁路.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 王象王象(?-?),字羲伯,河内郡人。东汉末及三国时曹魏官员。王象年少时是孤儿,因东汉末年纷乱,沦为奴仆。十七八岁时,杨俊看见王象因牧羊时阅读而被打,因此赎了他,还为他娶妻置屋。建安年间与