• 其他词汇： 布尔二次量 逻辑赋值语句 布尔代数 逻辑代数

• 更多词汇： 逻辑初等量 论理主义 逻辑主义 论理乘法

• 其他词汇： 逻辑赋值语句 布尔代数 逻辑代数 逻辑工作站

• 更多词汇： 论理主义 逻辑主义 论理乘法 逻辑乘法

• 其他词汇： 逻辑积 逻辑乘检索 合取范式 合取范式

• 更多词汇： 相交 论理积 连接词 逻辑乘