逻辑运算符

✍ dations ◷ 2024-12-23 05:35:15 #布尔代数,逻辑联结词

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

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

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

这些连接符的真值表:

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

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

















































相关

  • 古代汉语古代汉语是与现代汉语相对而言的,它是汉族祖先及其后代在古代的语言。一般人心目中的古代汉语的面貌在语音上为唐诗宋词等韵文,文字上体现为王羲之、欧阳询、柳公权、颜真卿等
  • 马提亚尔马提亚尔(拉丁语:Marcus Valerius Martialis),(40年-?),古罗马文学家,曾经往返于西班牙至罗马城两地。早年生活贫寒,后来凭借诗歌而闻名于世。其作品取材广泛,短小精悍,经常为时人所称道,
  • 黑海黑海(英语:Black Sea)是欧亚大陆的一个陆间海,被欧洲、高加索和安那托利亚半岛所包围。黑海通过土耳其海峡之后进入另一个陆间海—马摩拉海,通过达达尼尔海峡后与地中海的爱琴海
  • 榛果俪榛果俪(意大利语:Frangelico)是一款意大利皮埃蒙特大区库内奥省Canale市出产的榛子香草风味力娇酒,酒精浓度20%。20世纪80年代最初发布的时候,榛果俪的酒精浓度为24%。榛果俪的酒
  • 英国国教英格兰教会(英语:Church of England),或译为英格兰国教会、英国国教会、英格兰圣公会,是基督新教圣公宗的教会之一,16世纪英格兰宗教改革时期,由英格兰君主亨利八世领导,由神学家托
  • 120110 数学 120 信息科学与系统科学 130 力学 140 物理学 150 化学 160 天文学 170 地球科学 180 生物学210 农学 220 林学 230 畜牧、兽医科学 240 水产学310 
  • 潮解潮解(Deliquescence)指的是物质从空气中吸收水分,变为溶液的现象。吸湿性(Hygroscopy)则指物质从空气中吸取水分的性质。常见的有棉花、纸等纤维素类物质,以及糖、焦糖、蜂蜜、甘
  • 一般线性模式一般线性模型(general linear model, multivariate regression model)是一个统计学上常见的线性模型(英语:Linear model)。这个模型在计量经济学的应用中十分重要。不要与多元线
  • 公爵公是中国古代爵位名,一些邻近国家受中国影响也以此为爵位名。在中文里用“公爵”来翻译欧洲中世纪贵族等级系统中相应等级的称号(例如英语Duke、德语Herzog、法语Duc等)。公起
  • 王仲笃无为金丹道,前身为圣贤道,是二十世纪中期活跃于中国山东省北部的一个会道门,该会道门声称“末劫年”即将到来,并吸引大量农民入教。1951年8月,该会道门在博兴县发动武装暴动,建立