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

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

用真值表求下列公式的主析取范式和主合取范式。（1)（p∨q)∧r；（2)p→（p∨q∨r)；（3)ㄱ（q→ㄱp)∧ㄱp。

将下列公式化成与之等值且仅含{ㄱ，∨}中联结词的公式。（1)（ㄱp∨ㄱq)∧r；（2)（p→（q∧ㄱp))∧q∧r；（3)p∧q∧ㄱr。

求下列公式的主合取范式，并求其成假赋值。（1)ㄱ（q→ㄱp)∧ㄱp；（2)（p∧q)∨（ㄱp∨r)；（3)（p→（p∨q))∨r。

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

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

设p，q为命题变项，则（ㄱpq)的成真赋值为（)。

用主合取范式判断下列公式是否等值。（1)p→（q→r)与ㄱ（p∧q)∨r；（2)p→（q→r)与（p→q)→r。

将公式B=（ㄱp→q)∧ㄱr化成S₂={ㄱ，∨}上的公式。

将公式C=（p∧ㄱq)∨r化成S₃={ㄱ，→}上的公式。

将公式p→（q→r)化成与之等值且仅含{ㄱ，∧}中联结词的公式。