【一、二字】

格、链、门、

C法、补元、反链、非门、或门、零元、命题、偏序、收缩、推理、幺元、与门、

质项、

【三字】

布尔并、布尔补、布尔格、布尔和、布尔环、布尔积、布尔集、布尔交、布尔元、

初等和、初等积、分配格、否定词、否命题、负或门、负逻辑、负与门、合取词、

和范式、积范式、基本和、基本积、集合域、卡诺框、开关元、逻辑非、逻辑和、

逻辑积、矛盾式、幂等元、拟分割、逆命题、偏命题、树代数、双蕴含、析取词、

异或门、有补格、有界格、有余格、原命题、蕴含词、真值表、正或门、正逻辑、

正与门、重言式、子元素、

【四字】

1的分割、κ链条件、贝尔代数、比恩代数、闭开代数、布尔变元、布尔常元、

布尔乘法、布尔定元、布尔方程、布尔否定、布尔公式、布尔函数、布尔合取、

布尔加法、布尔空间、布尔析取、布尔运算、超滤空间、存在量词、存在命题、

动合开关、对偶代数、对偶空间、对偶理想、对偶滤子、对偶原子、二值同态、

分离规则、复合开关、嘎柴拉法、公式代数、合取范式、和积范式、恒断开关、

恒假命题、恒通开关、恒真命题、积和范式、静合开关、开关变元、开关并联、

开关串联、开关代数、开关电路、开关定元、开关反相、开关函数、理想对偶、

滤子对偶、逻辑代数、幂集代数、命题变元、命题常元、命题代数、命题定元、

命题公式、命题函数、逆否命题、纽曼代数、偏否命题、偏逆命题、偏原命题、

区间代数、生成元集、事件代数、斯通空间、斯通映射、四种命题、条件命题、

同态对偶、推理规则、完备同态、析取范式、相对代数、因子代数、蕴含规则、

【五字】

κ封闭偏序、κ完备同态、σ完备同态、布尔表达式、布尔方程组、代数化简法、

单位的分割、对偶子代数、极小化问题、可数链条件、命题的等价、命题的运算、

命题的蕴含、命题联结词、偏逆否命题、完备子代数、无限分配性、正则开代数、

正则子代数、子布尔代数、

【六字】

κ完备子代数、σ完备子代数、布尔方程的解、等价传递规则、递归布尔代数、

二元布尔代数、刚体布尔代数、合取消去规则、合取引入规则、简单布尔代数、

卡诺图化简法、理想无关子集、偏序的完备化、平凡布尔代数、齐次布尔代数、

收缩布尔代数、斯通表示定理、算术布尔代数、退化布尔代数、完备布尔代数、

完全可分配性、无关子代数族、无限布尔代数、析取消去规则、析取引入规则、

有限布尔代数、有限命题代数、原子布尔代数、蕴含传递规则、蕴含移位规则、

自由布尔代数、

【七字】

0-1布尔方程、κ完备布尔代数、σ完备布尔代数、不相交的布尔元、

布尔表达式的值、布尔代数的表示、布尔代数的分割、布尔代数的理想、

布尔代数的滤子、布尔代数的论域、布尔代数的偏序、布尔代数的嵌入、

布尔代数的同构、布尔代数的同态、布尔代数的直积、布尔方程的特解、

布尔方程的通解、布尔方程组的解、布尔函数的代数、布尔函数的相等、

超原子布尔代数、独立的分割集合、非退化布尔代数、亨廷顿公理系统、

开关函数的相等、可比较的布尔元、可判定布尔代数、无原子布尔代数、

相对完备子代数、语句丛布尔代数、最小子布尔代数、

【八字】

ω1万有布尔代数、不可比较的布尔元、布尔表达式的相等、布尔代数κ弱直积、

布尔代数的胞腔度、布尔代数的超滤子、布尔代数的稠密度、布尔代数的单扩张、

布尔代数的单项式、布尔代数的单因式、布尔代数的对偶核、布尔代数的多项式、

布尔代数的多因式、布尔代数的积代数、布尔代数的极大项、布尔代数的极小项、

布尔代数的浸润度、布尔代数的零元素、布尔代数的满同态、布尔代数的商代数、

布尔代数的素理想、布尔代数的素滤子、布尔代数的同态核、布尔代数的同态象、

布尔代数的完备化、布尔代数的无关度、布尔代数的余运算、布尔代数的运算律、

布尔代数的真理想、布尔代数的真滤子、布尔代数的正元素、布尔代数的质理想、

布尔代数的主理想、布尔代数的主滤子、布尔代数的自同构、布尔代数的自同态、

布尔代数的自由积、布尔代数的最大项、布尔代数的最大元、布尔代数的最小项、

布尔代数的最小元、布尔代数中的叉积、布尔代数中的异或、布尔方程组的特解、

布尔方程组的通解、霍普夫-布尔代数、偏序集的相容元素、四种命题间的关系、

序列的不相交加细、有限-余有限代数、真值函数的卡诺图、

【九字】

κ可表示的布尔代数、σ可表示的布尔代数、布尔代数的σ界理想、

布尔代数的单位元素、布尔代数的单一同态、布尔代数的典型同态、

布尔代数的合同关系、布尔代数的基数序列、布尔代数的极大理想、

布尔代数的极大滤子、布尔代数的可判定性、布尔代数的平凡理想、

布尔代数的平凡滤子、布尔代数的同态定理、布尔代数的完备理想、

布尔代数的完美表示、布尔代数的沃特关系、布尔代数的无关子集、

布尔代数的无赘子集、布尔代数的有限扩张、布尔代数的约化表示、

布尔代数的自然同态、布尔代数中的对称差、布尔代数中的对合律、

布尔代数中的反演律、布尔代数中的分配律、布尔代数中的互补律、

布尔代数中的极元律、布尔代数中的交换律、布尔代数中的结合律、

布尔代数中的零一律、布尔代数中的幂等律、布尔代数中的无限和、

布尔代数中的无限积、布尔代数中的吸收律、布尔代数中的幺元律、

布尔代数中的囿元律、递归可枚举布尔代数、命题函数的合取范式、

命题函数的析取范式、

【十字】

布尔代数的κ完备理想、布尔代数的σ完备理想、布尔代数的融和自由积、

布尔代数中的稠密子集、布尔代数中的对偶原理、康托尔-本迪克松导数、

奎因-麦克勒斯基方法、命题函数的主合取范式、命题函数的主析取范式、

【十一～十四字】

布尔代数的合取范式定理、布尔代数的可数分离性质、布尔代数的析取范式定理、

布尔代数的自由生成元集、布尔代数中的稠密子代数、布尔代数中的德·摩根律、

布尔代数中的双重否定律、康托尔-本迪克松不变量、林登包姆-塔尔斯基代数、

布尔代数的强可数分离性质、

布尔代数的两两不相交元素族、

关于无限和与积的德·摩根定理、