在逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑运算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。
A与B的真值表(也写作A和,可以直观地推出他们的合取。
其形式如下:
形式化为:
下面的例子是满足联言推理的合成式的论证:
另一个例子如下:
还有一个例子如下:
合取消去规则(∧-)(Conjunction elimination rule)或联言推理的分解式,是另一个在经典逻辑中简单且有效的论证形式。从任何合取式中都可以直观地推论出两个前提中的任意一个。
其形式如下:
...或者,
用逻辑运算符描述为,
形式化为:
或者,
例如:
或者
另一个例子如下:
或者
还有一个例子如下:
或者
逻辑与满足以下性质:
如果用二进制来表达真(1)和假(0),逻辑与运算与算术乘法运算一致。
逻辑与常在位运算中使用,比如:
在高等计算机编程中,逻辑合取“与”通常由内置算符and或&号来表达。很多编程语言还提供与逻辑与相应的短路求值控制结构。
布尔“与”也在SQL的运算符中使用。有些数据库区分大小写,需要"AND"符号。
在计算机科学中,AND运算符可以用来构造位屏蔽,以选择二进制序列的一部分。比如10011101 AND 00001000 = 00001000
用来取二进制序列的第五位。
集合论中的交运算是用逻辑与来定义的: ∈ ∩ 当且仅当( ∈ ) ∧ ( ∈ )。因此逻辑与有很多与交集运算相同的性质,诸如结合律,交换律,分配律,及德·摩根定律。
template:Common logical symbols(英语:template:Common logical symbols)