问答题
将下列公式用只含¬,∧,∨的等价式表示: (p↔¬q)→r
问答题 试举例说明:自反性、反自反性、反对称性和传递性对求补运算均不封闭。
问答题 用主合取范式判断下列命题公式是否等价: (p∧¬q)∨(¬p∧q)和(p∨q)∧¬(p∧q)
问答题 试举例说明:自反性与传递性对差运算不封闭.