ch2 逻辑代数12