Question

说说离散数学中的真值函数,n个命题变项构成2^(2^n)个真值函数,解说要详尽

Answer 1

n个变项说明真值表中一共有2^n个赋值,而对应于每个赋值,可能有0或者1两种真值.因此,根据组合的原理,n个变项一共可能有2×2×2……×2（共2^n个2相乘),即2^(2^n)种不同的真值表,每个真值表也就对应一个真值函数.