逻辑命题公式计算