逻辑非

✍ dations ◷ 2025-07-21 00:45:17 #布尔代数,逻辑联结词

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

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

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

的真值表定义如下:

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

~为真当且仅当为假。

相关

  • 但丁协会但丁协会(意大利语:Società Dante Alighieri)成立于1889年7月,是意大利在全世界传播推广意大利语言和文化的非营利组织,以意大利文学巨匠但丁·阿利吉耶里的名字命名。但丁协会
  • 清晰法案清晰法案(为成法律前即众所周知的C-20草案)(英语:The Clarity Act)是由加拿大国会立法通过,条文定义了加拿大政府在一个省进行可能脱离联邦的投票时加入协商讨论。这规定为了进行
  • 中国地理学会 (台北)中国地理学会是中华民国地理学领域的学术团体,1934年成立于南京,1951年在台复会。1934年,翁文灏、竺可桢、张其昀在南京正式创立中国地理学会,翁文灏为首任会长。中国抗日战争时
  • 挪威银行挪威银行是挪威王国的中央银行,又称挪威中央银行。总部设于挪威首都奥斯陆,并在英国伦敦,美国纽约,中国上海及新加坡四个城市设有驻地办事处。由挪威银行直接管理的平准基金挪威
  • 石器石器是以石头为原料制成的工具,是人类最早使用的生产工具。在考古学上,人类使用石器的时期称为石器时代。石器主要分为打制和磨制两大类。石器的制法和形状常常作为判断遗迹年
  • 步军都统衙门提督九门步军巡捕五营统领,简称九门提督或者步军统领,是清朝的驻燕京武官,主要负责京师守备和治安,类似今天的北京卫戍区司令员兼北京市公安局局长,但职权更大。九门提督统合北京
  • 单一民族国家单一民族国家,是指国家民族纯度较高,语言、文化、价值观较划一,通常这类国家政治上以民族主义作为核心,并对移民政策上并不友好,与之相反是多民族国家。地理环境较为封闭、外来族
  • 厄瓜多尔总统厄瓜多尔总统是厄瓜多尔的国家元首和政府首脑。阿根廷总统 · 巴拉圭总统 · 巴拿马总统 · 巴西总统(沿革:君主) · 加拿大君主(总督) · 秘鲁总统 · 玻利维亚总统 · 多米尼
  • 军工复合体军事工业复合体(英语:Military-Industrial Complex,MIC),也称军事工业国会复合体(Military-Industrial-Congressional Complex,MICC),中文简称军工复合体,是指一国军队与军事工业因政
  • 网络迷因网络模因(英语:Internet meme)又称网络迷因,是指一夕间在互联网上被大量宣传及转播,一举成为备受注目的事物。由于互联网缺乏实体界线的特性,各种信息与概念传播的速度也因而更快