命题逻辑等值演算.docVIP

1. 设A与B均为含n个命题变项的公式, 判断下列命题是否为真？ ???（1）AB 当且仅当 AB是可满足式.???? ?? 该命题为真??? 该命题为假 ? ???（2）AB 当且仅当 A与B有相同的主析取范式.? ??? ?? 该命题为真??? 该命题为假 ???（3）若A为重言式, 则A的主析取范式中含有2n个极小项.? ?????? 该命题为真??? 该命题为假 ???（4）若A为矛盾式, 则A的主析取范式为1.??????? 该命题为真??? 该命题为假 ???（5）若A为矛盾式, 则A的主合取范式为1.? ?????? 该命题为真??? 该命题为假 ???（6）任何公式A都能等值地化为联结词集{∧、∨} 中的公式.??????? 该命题为真?? 该命题为假 ???（7）任何公式A都能等值地化为联结词集{┐、→、∧}中的公式.? ?????? 该命题为真??? 该命题为假 2. 用等值演算法来判断下列公式的类型. ???（1）(p→q)→(┐q→┐p)? ???（2）┐(p→q)∧r∧q ???（3）(p→q)∧┐p 3. 用主析取范式法判断题2中3个公式的类型, 并求公式的成真赋值. ???题2中三个公式如下：? ???（1）(p→q)→(┐q→┐p) ???（2）┐(p→q)∧r∧q ???（3）(p→q)∧┐p 4. 求题2中3个公式