(P→Q)↔(¬P∨Q)⇔((P→Q)→(¬P∨Q))∧((¬P∨Q)→(P→Q)) 变成 合取析取⇔(¬(P→Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(P→Q)) 变成 合取析取⇔(¬(¬P∨Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(¬P∨Q)) 变成 合取析取⇔¬(¬P∨Q)∨(¬P∨Q) 等幂律⇔TRUE
