构造命题公式 的真值表。