展开 逻辑推理真假命题公式