方法1．這是含有兩個變元的公式,得用真值表十分方便：
p q p∨q p→q ((p∨q) ∧(p→q)) q→p ((p∨q) ∧(p→q)) ↔(q→p)
T T T T T T T
T F T F F T F
F T T T T F F
F F F T F T F
利用最后一列為T對應(yīng)的小項的析取得主析取范式p∧q
利用最后一列為F對應(yīng)的大項的合取得主合取范式(非p∨q)∧(p∨非q)∧(p∨q)
方法2．
((p∨q) ∧(p→q)) ↔(q→p)
=((p∨q) ∧(非p∨q)) ↔(非q∨p)
=((p∧非p)∨q)) ↔(非q∨p)
=(F∨q)) ↔(非q∨p)
=q ↔(非q∨p)
=(q∧(非q∨p))∨(非q∧非(非q∨p))
=(q∧p)∨(非q∧(q∧非p))
=(q∧p)∨F
=q∧p(主析取范式)
= (q∨(p∧非p))∧(p∨(q∧非q))
=(q∨p)∧(q∨非p)∧(p∨q)∧(p∨非q)
=(p∨q)∧(p∨q)∧(p∨非q) (主合取范式)