求这个公式主析取范式，并求成真赋值(p∨(q∧r))→(p∨q∨r)

Question

求这个公式主析取范式，并求成真赋值
(p∨(q∧r))→(p∨q∨r)

Answer 1

(p∨(q∧r))→(p∨q∨r)
⇔¬(p∨(q∧r))∨(p∨q∨r) 消灭特殊操作符
⇔(¬p∧¬(q∧r))∨(p∨q∨r) 德摩根定律
⇔(¬p∧(¬q∨¬r))∨p∨q∨r 德摩根定律
⇔(¬q∨¬r)∨p∨q∨r 结合律
⇔TRUE
恒为真