Question

关于离散数学,适用等值演算证明下列等值式,求教!

Answer 1

(p∧q)∨(非p∧r)∨(q∧r)

(p∧q)∨(非p∧r)∨((p∨非p)∧(q∧r))

(p∧q)∨(非p∧r)∨(p∧q∧r)∨(非p∧r∧q)

(p∧q)∨(p∧q∧r)∨(非p∧r)∨(非p∧r∧q)

(p∧q)∨(非p∧r) (其中否定符号无法打出来,用“非”表示)

p(qr)

用等价等值式、蕴含等值式、分配律就可以证明