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