逻辑运算符

✍ dations ◷ 2025-06-07 19:27:17 #布尔代数,逻辑联结词

在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符( Logical Operators)。

基本的操作符有:“非”(¬)、“与”(∧)、“或”(∨)、“条件”(→)以及“双条件”(↔)。“非”是一个一元操作符,它只操作一项(¬ P)。剩下的是二元操作符,操作两项来组成复杂语句(P ∧ Q, P ∨ Q, P → Q, P ↔ Q)。

注意,符号“与”(∧)和交集(∩),“或”(∨)和并集(∪)的相似性。这不是巧合:交集的定义使用“与”,并集的定义是用“或”。

这些连接符的真值表:

为了减少需要的括号的数量,有以下的优先规则:¬高于∧,∧高于∨,∨高于→。例如,P ∨ Q ∧ ¬ R → S是 (P ∨ (Q ∧ (¬ R)) → S的简便写法。

下面是在输入P和Q上的16个二元布尔函数。

















































相关

  • 全身放射治疗全身放射治疗(Total body irradiation,TBI),又称全身辐照,是造血干细胞移植或骨髓移植前进行的一种放射疗法。它会对人体全身进行放射治疗,但肺部通常需要使用肺遮罩重点防护,以避
  • 纵横家纵横家,是中国战国时期连合政军外交联盟的一派,《汉书·艺文志》列为“九流十家”之一。纵横家出现于战国至秦汉之际,多为游说策辩之士,可称为中国史上最早之外交政治家。他们的
  • 格多夫坐标:58°45′N 27°49′E / 58.750°N 27.817°E / 58.750; 27.817 格多夫(Гдов)是俄罗斯普斯科夫州西北部的一个城市,临楚德湖。距普斯科夫西北125公里。2002年人口5,171
  • 阿拉伯议会2001年在阿曼举行的阿拉伯联盟首脑会议上,阿拉伯国家同意建立一个阿拉伯议会,并决议给阿拉伯国家联盟秘书长权利启动和建立议会。2004年,普通的阿拉伯联盟首脑会议在阿尔及尔举
  • Nasub2/subMoOsub4/sub钼酸钠是钠的钼酸盐,化学式Na2MoO4,为白色菱形结晶体。通过钼精矿氧化焙烧生成三氧化钼,用液碱浸取生成钼酸钠溶液,后经抽滤、浓缩、冷却、离心、干燥后可制得。钼酸钠可溶于水,
  • 九校联盟中国九校联盟/C9联盟(简称C9)是中国大陆首个大学联盟,于2009年10月启动,联盟成员包括清华大学、北京大学、复旦大学、上海交通大学、浙江大学、中国科学技术大学、南京大学、西
  • 真菌繁殖真菌繁殖是一种由交配型控制的复杂过程。 调查显示出真菌繁殖已经集中在几个特定不同表现的物种。 不是每个真菌都有产生性别,即使有产生也是同配生殖;而且,"雄性"和"雌性" 不
  • 多肉植物多肉植物又被称作肉质植物,是指植物能在土壤干旱的条件下拥有肥大的叶或茎甚至是贮藏器官(例如是根茎),多肉植物主要生长于沙漠及海岸干旱地区。它们的根、茎特别肥大,叶片退化,以
  • 捷克共和国香烟的公共财政平衡在捷克卫生部提出对香烟代价超过财政收益的顾虑后,菲利普·莫里斯捷克分支委托理特咨询公司(英语:Arthur D. Little)做出了捷克共和国香烟的公共财政平衡的报告。报告发现,由于吸
  • 黑幕揭发运动扒粪记者(英语:muckraker)也称做扒粪运动、黑幕揭发记者、黑幕揭发运动,是指美国19世纪末20世纪初掀起的一股新闻报道浪潮,一些记者和报刊致力于深入调查报道黑幕,揭发丑闻,对社会