分别用真值表法与等值演算法判断公式：[图]的类型，并写...

分别用真值表法和等值演算法判断下列命题公式的类型： （1)（P∧Q)®（P∨Q)。 （2)（P∧Q®R)→（P∧ØR∧Q)。

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

用等值演算法判断下列公式的类型,对不是重言式的可满足式。再用真值表法求出成真赋值。

用等值演算法判断下列公式的类型：

列真值表，并利用真值表判断公式类型 [图] [图] [图] [...

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

分别用真值表法和公式法证明下列各等价式：

用真值表方法判断下列公式的类型，并求（3）的主析取范式与主合取范式。

用等值演算法证明下列等值式： [图] （得分点：必须使用...

求命题公式（[图]P[图]Q）[图]（P[图][图]Q)的真值表，并...