P→((P→Q)∧?璡∨琍))

?琍∨((P→Q)∧?琍∨璡)) 變成 合取析取

?琍∨((琍∨Q)∧?琍∨璡)) 變成 合取析取

?琍∨((琍∨Q)∧(P∧Q)) 德摩根定律

?琍∨((琍∨Q)∧P∧Q) 結合律

?琍∨((琍∨Q)∧Q) 合取析取 吸收率

?琍∨Q 合取析取 吸收率

得到主合取正規化，

再檢查遺漏的極大項

?M1

?∏(1)

??1)

?∑(1)

?m1

??P∨Q)∨?P∨璡)∨?琍∨璡) 德摩根定律

?(琍∧璡)∨(琍∧Q)∨(P∧Q) 德摩根定律

第2題

P∨(琍→(Q∨(璡→P)))

?P∨(P∨(Q∨(璡→P))) 變成 合取析取

?P∨(P∨(Q∨(Q∨P))) 變成 合取析取

?P∨P∨(Q∨(P∨Q)) 結合律

?P∨P∨Q∨(P∨Q) 結合律

?P∨P∨Q∨P∨Q 結合律

?P∨P∨Q∨Q 等冪律

?P∨Q∨Q 等冪律

?P∨Q 等冪律

得到主合取正規化，

再檢查遺漏的極大項

?M3

?∏(3)

??3)

?∑(3)

?m3

??P∨璡)∨?琍∨Q)∨?琍∨璡) 德摩根定律

?(琍∧Q)∨(P∧璡)∨(P∧Q) 德摩根定律

得到主析取正規化