计算题

将下列公式用只含¬，∧，∨的等价式表示：
¬（p→（q↔（q∧r）））

将下列公式用只含¬，∧，∨的等价式表示： （p↔¬q）→r

问答题

将下列公式用只含¬，∧，∨的等价式表示：
（p↔¬q）→r

试举例说明：自反性、反自反性、反对称性和传递性对求补运算均不封闭。

问答题试举例说明：自反性、反自反性、反对称性和传递性对求补运算均不封闭。

用主合取范式判断下列命题公式是否等价： （p∧¬q）∨（¬p∧q）和（p∨q）∧¬（p∧q）

问答题

用主合取范式判断下列命题公式是否等价：
（p∧¬q）∨（¬p∧q）和（p∨q）∧¬（p∧q）