§22.6 格与布尔代数在计算机科学与技术中的应用