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

A与B的真值表（也写作A${\displaystyle \wedge <!--\; \wedge \; -->}$和，可以直观地推出他们的合取。

其形式如下：

形式化为：

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

另一个例子如下：

还有一个例子如下：

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

其形式如下：

...或者，

用逻辑运算符描述为，

形式化为:

或者,

例如:

或者

另一个例子如下：

或者

还有一个例子如下：

或者

逻辑与满足以下性质：

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

逻辑与常在位运算中使用，比如：

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

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

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

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

template:Common logical symbols（英语：template:Common logical symbols）