离散数学证明等值式的技巧

Question

如题所述

Answer 1

<=>(p∧q)∨(非p∧r)
(其中否定符号无法打出来，用“非”表示)
p<-->(q<-->r)
用等价等值式、蕴含等值式、分配律就可以证明