1、集合代数、逻辑学和二进制算术之间的内在联系，使得布尔代数的理论在电子数字计算机的开发研制中举足轻重。
2、由于布尔代数、集合代数、逻辑学和二进制算术之间的内在联系，使得布尔代数的理论在电子数字计算机的开发研制中举足轻重。
3、文中的公式适于用电子数字计算机计算，并举数值例来说明。
4、本文提供的公式适于用电子数字计算机计算，文中以数值例子给予说明。
5、1946年，世界上出现了第一台电子数字计算机“ENIAC”，用于计算弹道。
6、自从1946年，第一台电子数字计算机ENIAC在美国宾夕法尼亚大学诞生以来，人类的生活因计算机而彻底改变。
