问答题
证明公司等值式:q→(p→r)⇔(p∧q)→r。
问答题 证明公司等值式:((p∨q)∧¬(p∧q)¬(pq))
问答题 证明公式为重言式:(¬(p→q)∧q)∧r。
问答题 证明公式为重言式:p→(p∨¬q∨r)。