离散数学n元变量的真值函数（或者真值表的种类数）有 2 ^ (2 ^ n) 个 详解
前言：这个定理在离散数学书上的解释，我看不太懂！（可能是我太愚笨了），然后在网上查了一些资料，才慢慢地懂了这个定理的意思。本文主要写给和我一样对这个定理云里雾里的同学！本文会尽可能地解释地清晰，希望对大家能有帮助！
题意：由n 元 变量能组成多少个真值函数，由于真值函数和真值表是一一对应的，所以也就是真值表的个数
解：
- 首先, n 个变量可以组成 2 ^ n 种组合方式，因为每个变量有 选 和 不选 两种选择，所以就是2 * 2 * 2 *....(n个) = 2 ^ n
- 其次，每一种组合，它的结果又有两种：0和1 ，所以是2 * 2 * 2 * 2（2^n个）= 2 ^ (2 ^ n) ，即为所求！（关键步骤）
- 下面，以两个变量为例：
如图：左边两列是p和q的取值，第三列是p和q二者运算的结果，虽然二者运算的方式有很多，如 析取? 合取？与？或 ? 异或？ 但是运算的结果就两个 1 和 0，所以每一行的运算结果有两种取法
因此，我们可以这么看，左边两列是自变量（2 ^ n 种取法），右边一列是因变量（每一组自变量对应着两种因变量结果），所 以由组合原理(或乘法定理)可知 真值函数的个数 = 2 * 2 * 2 * 2 * ...... (2 ^ n个) = 2 ^ (2 ^ n)
证毕！
自我认为这种解释容易理解！如果对大家有帮助，顺手点个赞吧（对博主是大大的激励哦~）