离散数学：证明(P→Q)←→(┐P∨Q)是恒真的，求详细步骤，谢谢各位学霸先～

Answer 1

(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