问答题
将公式化成与之等值且仅含{¬,→}中联结词的公式:(p→¬q)∧r。
问答题 将公式化成与之等值且仅含{¬,→}中联结词的公式:(p∧q)∨r。
问答题 将公式化成与之等值且仅含{¬,∨}中联结词的公式:p∧q∧¬r。
问答题 将公式化成与之等值且仅含{¬,∨}中联结词的公式:(p→(q∧¬p))∧q∧r。