布尔代数在逻辑推理中的应用