2.1.3 逻辑代数的应用举例