用主析取范式给出以下问题的解决方案。 某单位欲从三人A,B,C中挑选1～2人出国进修。由于工作需要选派时要满足以下条件（1）若A去，则C同去；（2）若B去，则C不能去；（3）若C不去，则A或B可以去。问应如何选派？ （得分点： 1.将命题符号化； 2.用等值演算求解命题的主析取范式； 3.根据公式的主析取范式给出选派方案。）

用主析取范式或主合取范式法证明：。

用等值演算法求公式的主析取范式或主合取范式。

(1)求公式p→((q∧r)∧(p∨(ㄱq∧ㄱr)))的主析取范式。

(2)求公式ㄱ(ㄱ(p→q))∨(ㄱq→ㄱp)的主合取范式。

(3)求公式((p∨q)∧(p→q))(q→p)的主析取范式，再由主析取范式求出主合取范式。

用真值表求公式(p→q)r的主析取范式。

用主析取范式判断ㄱ(pq)与(p∨q)∧(ㄱ(p∧q))是否等值。