((p∨q)→r)→p⇔¬((p∨q)→r)∨p 变成 交并⇔¬(¬(p∨q)∨r)∨p 变成 交并⇔((p∨q)∧¬r)∨p 德摩根定律⇔((p∨q)∨p)∧(¬r∨p) ⇔(p∨q)∧(¬r∨p)⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧q)∨¬r)⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)∧(p∨q∨¬r)⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)
