變更

生成元尽可能的独立，因为对从生成元使用F中运算形成的有限项成立的任何等式，也要对于所有可能的布尔代数的所有元素成立<ref>[https://www.sohu.com/a/207914813_729336 科普鹤庆第195期：《熊小米读科学》70集：为什么说布尔代数是计算机的基本运算方式  ], ， 搜狐 , ， 2017-12-01</ref>。