问答题
将下列公式用只含¬,∧,的等价式表示:¬(p∨q)→(¬p↔r)
问答题 证明:如果R是自反且循环的,那么R是对称且传递的。
问答题 将下列公式用只含,∧,的等价式表示:p∨q∨(r→p)
问答题 将下列公式用只含¬,∧,∨的等价式表示: (p↔q)↔r