求依赖于n个命题变元的每一个变员的不同的命题公式的个数