离散数学2个命题变元为什么可以构造2的4次方个不等价的命题公式

问题描述:

离散数学2个命题变元为什么可以构造2的4次方个不等价的命题公式

2个命题变元可生成2×2=4种赋值,每一种赋值下的命题公式的真值可以是0也可以是1,这样就有了2×2×2×2=16种不等价的命题公式.