2.1 逻辑代数基础知识