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

已知公式ㄱ（q→p)∧p是矛盾式，求公式ㄱ（q→p)∧p∧ㄱr的成真赋值和成假赋值。

求下列公式的成真赋值。（1)ㄱp→q。（2)p∨ㄱq。（3)（p∧q)→ㄱP。（4)ㄱ（p∨q)→q。

求下列公式的成假赋值。（1)ㄱ（ㄱp∧q)∨ㄱr。（2)（ㄱq∨r)∧（p→q)。（3)（p→q)∧（ㄱ（p∧r)∨p)。

已知（ㄱ（p→q)∧q)∨（ㄱ（ㄱq∨p)∧p)是矛盾式，试判断公式ㄱ（p→q)∧q及ㄱ（ㄱq∨p)∧p的类型。

公式（p∧ㄱq)∨（ㄱp∧q)的成真赋值为（)。

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

已知p→（p∨q)是重言式，ㄱ（p→q)∧q是矛盾式，试判断（p→（p∨q))∧（ㄱ（p→q)∧q)及（p→（p∨q))∨（ㄱ（p→q)∧q)的类型。

用主析取范式判断下列各组公式是否等值． （1)p→（q→r)与q→（p→r)． （2)（p→q)→r与（p∧q)→r．

设p：俄罗斯位于南半球，q：亚洲人口最多。将下列命题用自然语言表述，并指出其真值。（1)p→q（2)q→p（3)ㄱp→q（4)p→ㄱq（5)ㄱq→P（6)ㄱp→ㄱq（7)ㄱq→ㄱp

设A=（p∧q)∨（ㄱp∧q∧r)，B=（p∨（q∧r))∧（q∨（ㄱp∧r))，判断A与B是否等值。

求下列公式的主析取范式，再用主析取范式求主合取范式。(1)(p∧q)∨r；(2)(p→q)∧(q→r)。