在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑运算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。
真值表定义.A与B的真值表（也写作Aformula_1B（逻辑学），A && B（计算机科学），或Aformula_5B（电子学））。formula_3 的真值表:
推理规则.
合成与分解规则.
合取引入规则.合取引入规则（∧+）（conjunction introduction ru