在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑运算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。
1
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
布尔代数在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构。特别是，它处理集合运算交集、并集、补集；和逻辑运算逻辑合取、逻辑析取、逻辑否定。
在布尔逻辑中，析取范式是逻辑公式的标准化，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个逻辑合取的逻辑析取。同合取范式一样，在 DNF 中的命题算子是逻辑合取、逻辑析取和逻辑否定。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
在布尔逻辑中，如果一个公式是子句的逻辑合取，那么它是合取范式的。作为规范形式，它在自动定理证明中有用。它类似于在电路理论中的规范和之积形式。
布尔代数在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构。特别是，它处理集合运算交集、并集、补集；和逻辑运算逻辑合取、逻辑析取、逻辑否定。
布尔代数在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构。特别是，它处理集合运算交集、并集、补集；和逻辑运算逻辑合取、逻辑析取、逻辑否定。
在布尔逻辑中，析取范式是逻辑公式的标准化，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个逻辑合取的逻辑析取。同合取范式一样，在 DNF 中的命题算子是逻辑合取、逻辑析取和逻辑否定。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:
Mini wiki
