(p→(q∨¬p))∧q∧r⇔(p→(¬p∨q))∧q∧r 交换律 排序⇔(¬p∨(¬p∨q))∧q∧r 变成 合取析取⇔(¬p∨¬p∨q)∧q∧r 结合律⇔(¬p∨q)∧q∧r 等幂律⇔¬(p∧¬q)∧q∧r 德摩根定律
原式=（~p∪（q∪~p）)∩q∩r=(~p∪q)∩q∩r=~（p∩~q)∩q∩r
