用等值演算法求下列公式的主析取范式，并求成真赋值．

用等值演算法求下列公式的主析取范式。

给定如下三个公式： （1)（P→Q)→（┐Q→┐P) （2) ┐（P→Q)∧R∧Q （3)（P→Q)∧┐P （i) 用等值演算法来判断上述公式的类型。 （ii) 用主析取范式法判断上面公式的类型，并求公式的成真赋值。 （iii) 求上面3个公式的主合取范式，并求公式的成假赋值。

用等值演算法求公式的主析取范式或主合取范式。（1)求公式p→（（q∧r)∧（p∨（ㄱq∧ㄱr)))的主析取范式。（2

3、给定如下三个公式： （1)（P→Q)→（┐Q→┐P) （2) ┐（P→Q)∧R∧Q （3)（P→Q)∧┐P （i) 用等值演算法来判断上述公式的类型。 （ii) 用主析取范式法判断上面公式的类型，并求公式的成真赋值。 （iii) 求上面3个公式的主合取范式，并求公式的成假赋值。

分别用真值表法和等值演算法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。 （1)P®（Q®R)。 （2)（P®（Q∨R))∧（ØP∨（Q«R))。

分别用真值表法和等值演算法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。 （1)P®（Q®R)。 （2)（P®（Q∨R))∧（ØP∨（Q«R))。

某公式欲从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习。选派时必须满足以下条件（1）若赵去，则钱也去；（2）李、周两人中必有一人去；（3）钱、孙两人中去且仅去一人；（4）孙、李两人同去或同不去；（5）若周去，则赵、钱也同去。用等值演算法与主析取范式分析该公司如何选派他们出国？ （得分点： 1.将命题符号化； 2.用等值演算求解命题的主析取范式； 3.根据公式的主析取范式给出选派方案。）

用真值表法求下列命题公式的主析取范式和主合取范式：

用真值表法求下列命题公式的主析取范式和主合取范式。

用主析取范式判断下列公式的类型，并对可满足式求成真赋值。（1)p→（（p∧q)∨（p∧ㄱq))；（2)（p∨q)→（q→p)；（3)ㄱ（p→r)∧r∧q。