布尔逻辑 - The mini wiki

在布尔逻辑运算中，逻辑或非的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。

在布尔逻辑中，如果一个公式是子句的逻辑合取，那么它是合取范式的。作为规范形式，它在自动定理证明中有用。它类似于在电路理论中的规范和之积形式。

在布尔逻辑的积项和式中，规范形式P 是布尔函数 F 的涵项，如果 P 蕴涵 F。更加准确的说：

在布尔逻辑中，析取范式是逻辑公式的标准化，它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个逻辑合取的逻辑析取。同合取范式一样，在 DNF 中的命题算子是逻辑合取、逻辑析取和逻辑否定。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:

在布尔逻辑运算中，逻辑或非的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。

布尔逻辑原指十九世纪英国数学家乔治·布尔发明的直言三段论逻辑系统，他尝试结合"空集"，就是说不存在的实体的类，比如圆四边形，而不求助于不可确定的真值。

数学上，两个集合的对称差是只属于其中一个集合，而不属于另一个集合的元素组成的集合。
集合论中的这个运算相当于布尔逻辑中的异或运算。