9.4 逻辑代数