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

前言：这个定理在离散数学书上的解释，我看不太懂！（可能是我太愚笨了），然后在网上查了一些资料，才慢慢地懂了这个定理的意思。本文主要写给和我一样对这个定理云里雾里的同学！本文会尽可能地解释地清晰，希望对大家能有帮助！

题意：由n 元 变量能组成多少个真值函数，由于真值函数和真值表是一一对应的，所以也就是真值表的个数

解：

• 首先, n 个变量可以组成   种组合方式，因为每个变量有 选 和 不选 两种选择，所以就是2 * 2 * 2 *....(n个) = 
• 其次，每一种组合，它的结果又有两种：0和1 ，所以是2 * 2 * 2 * 2（个）=  ，即为所求！（关键步骤）
• 下面，以两个变量为例：

 

 

                                           

   如图：左边两列是p和q的取值，第三列是p和q二者运算的结果，虽然二者运算的方式有很多，如 析取? 合取？与？或 ? 异或？     但是运算的结果就两个 1 和 0，所以每一行的运算结果有两种取法

   因此，我们可以这么看，左边两列是自变量（2 ^ n 种取法），右边一列是因变量（每一组自变量对应着两种因变量结果），所     以由组合原理(或乘法定理)可知 真值函数的个数  =  2 * 2 * 2 * 2 * ...... (个) =

 

 

证毕！

自我认为这种解释容易理解！如果对大家有帮助，顺手点个赞吧（对博主是大大的激励哦~）