问答题 求公式的主析取范式：（￢p→q）∧（q∧p）。

问答题 求公式的主析取范式：（￢p→q）→（￢q∨p）。

问答题 用等值演算法判断公式的类型，对不是重言式的和满足式，再用真值表达求出成真赋值：（p∨q）→（p∧r）。