给出任意变元的合式公式,构造该合式公式的真值表