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