离散数学n元变量的真值函数（或者真值表的种类数）有 2 ^ (2 ^ n) 个 详解