逻辑非

✍ dations ◷ 2024-12-22 23:04:32 #布尔代数,逻辑联结词

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

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

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

的真值表定义如下:

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

~为真当且仅当为假。

相关

  • 种(拉丁语:Species)或称物种,生物分类的基本单位,位于生物分类法中最后一级,在属之下。较为笼统的概念,是指一群或多或少与其它这样的群体形态相同,并能够交配繁殖出具生殖能力后代
  • 类毒素类毒素(toxoid)是一种细菌毒素(一般是外毒素),在经过化学处理或加热后,其毒性已被抑制,甚至没有毒性,但包括免疫原性在内的其他特性仍保留。若类毒素用来作为疫苗接种,会产生免疫反应
  • 拉脱维亚面积以下资讯是以2018年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计拉
  • 设计保障安全设计保障安全(Safety by design)是一个概念及运动,鼓励营建管理者及产品设计者在设计开发阶段就将健康及安全风险纳入设计考量。此概念支持品质、程序及成本的观点,安全性在设计
  • 知识的代价知识的代价(英语:The Cost of Knowledge)是一个由学者发起的运动,抗议学术期刊出版社爱思唯尔(Elsevier)的经营模式。 这个运动发起的主因是该出版社过高的收费,他们呼吁降低购买期
  • 汗水汗液,或汗,是由人等高等动物透过汗腺所分泌出的液体。汗的分泌受到植物性神经系统调节。汗液的主要成分是水,约占总成分的98%到99%,其余物质为氯化钠,极少量的尿素、氨和其他盐类
  • 油炸炸,又称油炸、爆香(英语:Deep frying或deep fat frying),是一种将食物放入高温食用油中浸泡的烹饪方法。通常在油炸锅(英语:Deep fryer)或薯片盘(英语:chip pan)中进行,工业上则多以压力
  • 蓝鲸蓝鲸(学名:Balaenoptera musculus)是属于须鲸小目的海洋哺乳动物。蓝鲸不仅是地球上现存体型最大的动物,也是地球史上最大的动物,长超过33米,重达177公吨。蓝鲸的身躯瘦长,背部青灰
  • 约瑟夫·路易·给吕萨克约瑟夫·路易·盖-吕萨克(法语:Joseph Louis Gay-Lussac,1778年12月6日-1850年5月10日),法国化学家和物理学家,以研究气体而闻名。盖-吕萨克出生于法国上维埃纳省的圣利奥纳德,并在
  • 宁完我宁完我(1593年-1665年),字公甫,谥文毅。辽阳(今属辽宁)人。清代汉军正红旗人,历官弘文院大学士、议政大臣、少傅兼太子太傅。敢言,好酒嗜赌、精通文史。早年依附努尔哈赤,隶汉军正红旗