问答题
用主合取范式判断下列命题公式是否等价： （p∧¬q）∨（¬p∧q）和（p∨q）∧¬（p∧q）
试举例说明：自反性与传递性对差运算不封闭．
问答题试举例说明：自反性与传递性对差运算不封闭．
试举例说明：反对称性与传递性对并运算不封闭。
问答题试举例说明：反对称性与传递性对并运算不封闭。
用主合取范式判断下列命题公式是否等价：（p→q）→r和p→（q→r）
问答题用主合取范式判断下列命题公式是否等价：（p→q）→r和p→（q→r）
