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