问答题
用观察法判断公式的类型:(p→q)↔(p→r)。
问答题 用观察法判断公式的类型:((p→q)→(¬q→¬p))∨r。
问答题 用观察法判断公式的类型:p∧r∧¬(qp)。
问答题 求公式的成真赋值和成假赋值:(¬p∧q)→(pr)。