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

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

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