9-18 什么是逻辑代数？