分类:布尔代数

• 布尔代数主题列表

*

• 布尔代数

B

• 布尔值模型
• 布尔函数
• 布尔域
• 布尔环
• 布尔素理想定理
• 布尔逻辑

D

• 德摩根定律

G

• 规范形式 (布尔代数)

H

• 合取范式

I

• 一元布尔代数

J

• 集合域

K

• 卡诺图

L

• 二元素布尔代数
• 逻辑与
• 逻辑代数
• 逻辑或
• 逻辑运算符
• 逻辑非
• 零阶逻辑
• Template:Logicalconnective

N

• 内部代数

S

• 剩余布尔代数
• Stone布尔代数表示定理

U

• 完全布尔代数
• 蕴涵项

X

• 析取范式

Z

• 真值
• 真值表
• 自由布尔代数
• 自足算子

Σ

• Σ-代数

二

• 二元决策图

位

• 位操作

向

• 向量邏輯

否

• 否命题

吸

• 吸收律

奎

• 奎因-麦克拉斯基算法

布

• 布尔表达式
• 布林代數恆等式

模

• 模態代數

谢

• 谢费尔竖线

迪

• 迪文森佐準則

逆

• 逆否命题
• 逆命题

逻

• 逻辑优化
• 逻辑异或
• 逻辑或非
• 邏輯矩陣

香

• 香农展开