逻辑运算符

✍ dations ◷ 2025-04-04 23:39:28 #布尔代数,逻辑联结词

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

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

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

这些连接符的真值表:

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

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

















































相关

  • 地美环素地美环素(INN,USAN和BAN名称:Demeclocycline),又名去甲基金霉素或脱甲金霉素,是衍变自金黄色链霉菌(英语:Streptomyces aureofaciens)突变菌株的四环素类抗生素。地美环素定位于治疗
  • MHC分子主要组织相容性复合体(major histocompatibility complex,MHC),又称主要组织相容性复合基因,是存在于大部分脊椎动物基因组中的一个基因家族,与免疫系统密切相关,其中人类的MHC糖蛋
  • 德鲁兹人阿拉伯语 希伯来语 (以色列) 英语 (美国和澳大利亚)德鲁兹派(阿拉伯语:الدرزية‎),是中东的一个源自于伊斯兰教什叶派伊斯玛仪派的独立宗教教派,德鲁兹派的教义受到基督教和
  • 鸠鸽鸠鸽科(学名:Columbidae)在2014年的鸟类全基因组测序分类系统中是鸟纲鸽形目中的一个科,一般称为鸠或者鸽。有许多种类,其中有47属,其下共有大约320个物种。常常被称呼为白鸽或鸽
  • 上海海关学院上海海关学院,是一所位于中国上海浦东新区开展海关专业教育的本科高等学校,隶属于中华人民共和国海关总署。国立中央大学医学院 (1927–1932) → 国立上海医学院 (1932–1952)
  • 大话新闻《大话新闻》是台湾三立电视台的一个政论节目,2002年11月—2012年5月31日间于三立新闻台下午8时55分至11时(台湾时间)播出,由三立电视新闻部自制(2008年前委外由“浩达传播”制作
  • 1979年1979年NBA选秀(1979 NBA draft)是美国国家篮球协会第33次年度选秀。本次选秀于1979年6月25日举办。在这次选秀中,22支NBA球队轮流从美国大学业余篮球运动员和其他包括国际球员
  • 高雄分处美国在台协会高雄分处(英语:American Institute in Taiwan Kaohsiung Branch Office,简称 AIT/K)是美国国务院根据《台湾关系法》所设置的民间非营利组织——美国在台协会外驻高
  • 维吾尔族本条目列出了维吾尔族的常见人名。由于维吾尔族受到伊斯兰文化影响,因此维吾尔族通常都没有姓氏,而是采用本名加上父名的形式(类似阿拉伯人名),是一种父子连名制。如“买买提·吐
  • 2019冠状病毒病印度疫情2020年1月30日,在喀拉拉邦确诊首宗新型冠状肺炎个案,患者是在中国武汉大学就读的学生。2月1日,在喀拉拉邦再确诊一宗个案,累计个案增至2宗,患者去过中国大陆。2月3日,在喀拉拉邦