逻辑或又称逻辑析取、逻辑选言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。
1
布尔代数在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构。特别是，它处理集合运算交集、并集、补集；和逻辑运算逻辑合取、逻辑析取、逻辑否定。
在布尔逻辑中，析取范式是逻辑公式的标准化，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个逻辑合取的逻辑析取。同合取范式一样，在 DNF 中的命题算子是逻辑合取、逻辑析取和逻辑否定。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:
在布尔逻辑中，析取范式是逻辑公式的标准化，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个逻辑合取的逻辑析取。同合取范式一样，在 DNF 中的命题算子是逻辑合取、逻辑析取和逻辑否定。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:
在布尔逻辑中，析取范式是逻辑公式的标准化，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个逻辑合取的逻辑析取。同合取范式一样，在 DNF 中的命题算子是逻辑合取、逻辑析取和逻辑否定。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:
布尔代数在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构。特别是，它处理集合运算交集、并集、补集；和逻辑运算逻辑合取、逻辑析取、逻辑否定。
布尔代数在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构。特别是，它处理集合运算交集、并集、补集；和逻辑运算逻辑合取、逻辑析取、逻辑否定。
在逻辑中，子句是文字的逻辑析取，在命题逻辑中，子句通常写做如下，这里的符号
l
i
{\displaystyle l_{i}}
是文字:
Mini wiki
