自由布尔代数 在数学分支抽象代数中自由布尔代数是布尔代数 BF使得集合 B 叫做载体有其中元素叫做生成元的子集生成元满足下列性质 不是生成元的每个 B 的元素都可被表达为生成元的使用 F 的元素的有限组合F 是运算的集合 生成元尽可能的独立因为对从生成元使用 F 中运算形成的有限项成立的任何等式也要对于所有可能的布尔代数的所有元素成立