两个命题公式是否等值只能用真值表法判断。
举一反三
- 判断公式是否为重言式的方法有 A: 真值表法 B: 等值演算法 C: 主析取范式法 D: 等价置换换法
- 设A与B均为含n个命题变项的公式，判断下列命题是否为真？ 任何公式A都能等值地化为联结词集{┐、→、∧}中的公式。
- 分别用等值演算法和真值表法，求下面命题公式的主析取范式及主合取范式，并判断其类型：[tex=4.571x1.357]tG6S+47SfMXz+RijhmcPIhtyXiKVlK1wCIKAw0IVeHA=[/tex]。
- 若命题公式中含有4个命题变元，则其真值表中，有16个真值指派。
- 分别用等值演算法和真值表法，求下面命题公式的主析取范式及主合取范式，并判断其类型：[tex=6.5x1.357]vPqP23m5DP5zMS0n4K4wlGTLHODf2eWneuWmxgQtEkd09kRm/roIPN82pxduGkno[/tex]。