自由布尔代数

在数学分支抽象代数中，自由布尔代数是布尔代数 <B，F>，使得集合 B (叫做“载体”)有其中元素叫做生成元的子集。在数学分支抽象代数中，自由布尔代数是布尔代数<B，F>，使得集合B(叫做“载体”)有其中元素叫做生成元的子集。