9.2 逻辑代数与逻辑函数