Simone子布尔代数
的有关信息介绍如下：
子布尔代数是布尔代数的子代数，若结构〈A，+A，·A，′A，0A，1A〉满足A⊆B、0A=0B、1A=1B，且A在运算+A、·A、′A下封闭，则称其为布尔代数〈B，+B，·B，′B，0B，1B〉的子布尔代数 。
根据定理1，布尔代数B的非空子集S若包含0和1，并对运算∨、∧、﹣封闭，则构成子布尔代数。实践中验证子布尔代数只需检查对{∨，﹣}或{∧，﹣}运算的封闭性 。
任意布尔代数必有包含指定集合S的最小子布尔代数，其可通过所有包含S的子代数交集得到。每个布尔代数均存在以自身和{0,1}为论域的平凡子布尔代数 。
想要了解更多“子布尔代数”的信息，请点击：子布尔代数百科
