逻辑与

✍ dations ◷ 2025-09-14 14:20:05 #逻辑与

在逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑运算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。

A与B的真值表(也写作A {displaystyle land } 和,可以直观地推出他们的合取。

其形式如下:

形式化为:

下面的例子是满足联言推理的合成式的论证:

另一个例子如下:

还有一个例子如下:

合取消去规则(∧-)(Conjunction elimination rule)或联言推理的分解式,是另一个在经典逻辑中简单且有效的论证形式。从任何合取式中都可以直观地推论出两个前提中的任意一个。

其形式如下:

...或者,

用逻辑运算符描述为,

形式化为:

或者,

例如:

或者

另一个例子如下:

或者

还有一个例子如下:

或者

逻辑与满足以下性质:

如果用二进制来表达真(1)和假(0),逻辑与运算与算术乘法运算一致。

逻辑与常在位运算中使用,比如:

在高等计算机编程中,逻辑合取“与”通常由内置算符and或&号来表达。很多编程语言还提供与逻辑与相应的短路求值控制结构。

布尔“与”也在SQL的运算符中使用。有些数据库区分大小写,需要"AND"符号。

在计算机科学中,AND运算符可以用来构造位屏蔽,以选择二进制序列的一部分。比如10011101 AND 00001000 = 00001000用来取二进制序列的第五位。

集合论中的交运算是用逻辑与来定义的: ∈ ∩ 当且仅当( ∈ ) ∧ ( ∈ )。因此逻辑与有很多与交集运算相同的性质,诸如结合律,交换律,分配律,及德·摩根定律。

template:Common logical symbols(英语:template:Common logical symbols)

相关

  • 试剂化学试剂,简称试剂,是一类具有各种纯度标准,用于教学、科学研究、分析测试,并可作为某些新兴工业所需的纯和特纯的功能材料和原料的精细化学品。它一般可按组成和纯度来进行分类
  • 邺城邺城遗址或称邺城,位于今河北省邯郸市临漳县境,由南北两座相连的城池组成(即邺北城、邺南城)。邺北城自东汉建安十八年(213年),由曹操在旧城基础上开始营造。是为曹魏五都之一。后
  • 卡特利-卡赫季王国卡特利-卡赫季王国(格鲁吉亚语:ქართლ-კახეთის სამეფო)建立于1762年,灭于1801年,是格鲁吉亚东部两个国家卡特利王国和卡赫季王国统一而成的。从16世纪早期开始,
  • SuperfishSuperfish(中国称为快鱼)是一间广告软件公司,于2006年在以色列创立。总部位于加州。Superfish被不少人称为恶意软件。早于2010年,Superfish已经被用来捆绑其他软件。2014年9月,Le
  • 古华明古华明(1946年9月-),中华人民共和国政治人物、外交官。1998年,出任首任中国驻卡尔加里总领事。2002年,接替梁健明,担任中华人民共和国驻圣卢西亚大使。2007年,因两国断交而离任。
  • XHamsterXHamster,是一个免费色情影片分享网站,在2014年11月世界百大网站排行中,排名57位。研究人员康拉德·朗莫尔声称,网站上显示的广告被发现含有恶意程式,其中有未经其许可在用户的电
  • 格奥尔格-汉斯·莱因哈特格奥尔格-汉斯·莱因哈特(德语:Georg-Hans Reinhardt,1887年3月1日-1963年11月23日),纳粹德国陆军大将,曾为第3装甲军团司令、中央集团军司令,战后于“国防军最高统帅部审判”受审,判
  • 阿芒斯 (奥布省)阿芒斯(法语:Amance,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Unicode","Genti
  • VHS突击步枪VHS(克罗地亚语:Višenamjenska Hrvatska Strojnica,英语:Multifunctional Croatian machine gun,意为:克罗地亚制多用途机枪)是一系列由克罗地亚枪械制造商HS Produkt(英语:HS Produkt)公司所研制及生产的无托突击步枪,发射5.56×45毫米北约口径制式步枪子弹。VHS突击步枪首次在2007年的iKA展览之中展出,每年克罗地亚的资料显示,在卡尔洛瓦茨市中展出。开发的原因是因为克罗地亚军队的一份招标,需要按照着北约标准设计的
  • 卡尔·安格雷尔卡尔·安格雷尔(德语:Karl Angerer,1979年7月18日-),德国男子雪车运动员。他曾代表德国参加国际雪车联合会世界锦标赛,获得一枚金牌和二枚银牌。他也曾参加2010年冬季奥林匹克运动会。