一道离散数学简单题由n个命题变元组成不等值的命题公式的个数为