逻辑运算符

✍ dations ◷ 2025-06-28 16:12:36 #布尔代数,逻辑联结词

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

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

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

这些连接符的真值表:

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

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

















































相关

  • 肌肉运动知觉本体感觉,又称肌肉运动知觉,是一种对肌肉各个部分的动作或者一连串动作所产生的感觉,称呼为“自我知觉”。可是对某些人来说肌肉运动知觉跟自我知觉不同在于保持平衡的触觉。例
  • 邪恶轴心“邪恶轴心”(英语:Axis of evil)是美国总统乔治·沃克·布什于2002年1月在他的国情咨文中所发表的看法,意指“赞助恐怖主义的政权”;其中明确指出的国家包括伊朗、伊拉克(萨达姆
  • 阿尔及尔阿尔及尔(阿拉伯语:الجزائر‎;法语:Alger,柏柏尔语:ⴷⵣⴰⵢⴻⵔ)为阿尔及利亚首都及海港。现有人口三百万,大约占阿尔及利亚全国人口的十分之一。位于法国马赛西南805公里,北
  • 城市承载力城市承载力(英语:urban carrying capacity),是指一个城市是指在可以预见到的期间内,利用本地能源及其自然资源和智力、技术等条件,在保证符合其社会文化准则的物质生活水平条件下
  • 数学教育数学教育是研究数学教学的实践和方法的学科。而且,数学教育工作者也关注促进这种实践的工具及其研究的发展。数学教育是现代社会激烈争论的主题之一。这个术语有个歧义,它既指
  • 德苏战争轴心国 纳粹德国 意大利王国(至1943年) 匈牙利王国 罗马尼亚王国(至1944年) 保加里亚第三帝国(至1944年)同盟国 苏联 波兰(英语:Polish Armed Forces in the East) 南斯拉夫(自1
  • 金门金门县,是中华人民共和国福建省泉州市下辖县,由于第二次国共内战以来的海峡两岸分治格局,该规划于法定设置阶段而未实施正式管辖。金门县地原属思明县。1914年7月,析思明县设立
  • 真露真露(하이트진로)是韩国的一个烧酒品牌,在韩国烧酒市场份额超过50%,是韩国最受欢迎的烧酒品牌。真露目前已经在世界100多个国家销售。根据酒类专业杂志《Drinks International》
  • 斯坦莫尔坐标:51°37′01″N 0°19′30″W / 51.6170°N 0.3250°W / 51.6170; -0.3250史丹摩(Stanmore)是伦敦西北部郊区的一个地区,属于哈洛伦敦自治市。史丹摩位于查令十字西北11英里
  • 边检边境管制是国家或地区,进行管制或监察边境流量的措施。依世界各国通例,国际机场或港口之检查,系采C、I、Q制度:海关(Customs),负责货物进出口的管制及旅客行李及国际邮包的检查;移民