逻辑与

✍ dations ◷ 2025-08-23 13:03:57 #逻辑与

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

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)

相关

  • 体育锻炼体能锻炼,又称体能训练、体适能训练,泛指所有通过运动方式,来达到维持与发展适当体能、增进身体健康的身体活动。它的目标有许多种,包括:增强肌肉与循环系统、增进运动技能与身体
  • 巴吞鲁日坐标:30°27′29″N 91°8′25″W / 30.45806°N 91.14028°W / 30.45806; -91.14028thumbnail 人巴吞鲁日(英语:Baton Rouge,法语:Bâton-Rouge,意为“ 红棍”)是美国路易斯安那
  • 迈克尔·波伦迈克尔·波伦(Michael Pollan,1955年2月6日-)是一位美国作家、专栏作家、行动主义者、新闻学教授及柏克莱加州大学科学和环境新闻学奈特项目的主任。普兰出生于美利坚合众国纽约
  • 王劲 (考古学家)王劲(1926年12月12日-2020年2月6日),女,湖北黄陂人,中国考古学家。湖北省博物馆、湖北省文物考古研究所研究馆员。1926年生于湖北省黄陂县。1949年毕业于湖北省立第二女子师范学校
  • 晚安伦敦晚安伦敦(英语:Namastey London;印度语:नमस्ते लंदन;乌尔都语:نمستے لندن;也可译作:再见伦敦)是2007年的印度电影,本片题材于英国伦敦和印度旁遮普邦,描述两个在不
  • 铃木隆行铃木隆行(1976年6月5日-),已退役日本足球运动员,前日本国家足球队成员。1995年,铃木隆行转会到鹿岛鹿角后,因为出场机会太少,又转会到了巴西联赛的乙级球队CFZ里约(英语:Centro de Fut
  • 施图布维斯维普费尔山坐标:47°39′17″N 14°17′58″E / 47.65472°N 14.29944°E / 47.65472; 14.29944施图布维斯维普费尔山(德语:Stubwieswipfel),是奥地利的山峰,位于该国北部,由上奥地利州负责管
  • 富乐站富乐站是位于黑龙江省大兴安岭地区新林区富乐村的一个铁路车站,邮政编码165026。车站建于1970年,有富西铁路经过该站,现仅办理货运业务,不办理客运业务,车站及其上下行区间均未电
  • 朴俊勉朴俊勉(韩语:박준면,1976年3月11日-),韩国女演员。她高中毕业后不久就开始演艺生涯,2000年参与电影《幸福的殡仪师》并正式以影视演员的身份出道。2015年8月5日与比其年轻5岁的圈外人结婚。
  • 夏亚斯河夏亚斯河(加利西亚语:Río Xallas;西班牙语:Río Jallas o Ézaro,哈利亚斯河(埃萨罗河))是西班牙加利西亚自治区拉科鲁尼亚省的一条河流。它发源自科里斯坦科卡斯特罗山,最终由科尔库维翁湾注入大西洋。夏亚斯河是欧洲唯一一条以瀑布形式入海的河流。夏亚斯河常见的垂钓鱼是鳟鱼。该河的生态遭受过外来物种美国螯虾的入侵破坏,这些螯虾最早出现在瓜达尔基维尔河,2000年伊始扩散到了加利西亚的死亡海岸。夏亚斯河上至少有4座水库:埃萨罗瀑布入海口