6.3 逻辑代数基础