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