(1)
(p∨(q∧r))→(p∧q∧r)
(p∨(q∧r))∨(p∧q∧r) 變成 合取析取 (?p∧?(q∧r))∨(p∧q∧r) 德摩根定律 (?p∧(?q∨?r))∨(p∧q∧r) 德摩根定律 ((?p∧?q)∨(?p∧?r))∨(p∧q∧r) 分配律 (?p∧?q)∨(?p∧?r)∨(p∧q∧r) 結合律 (?p∧?q∧(?r∨r))∨(?p∧(?q∨q)∧?r)∨(p∧q∧r) 補項 ((?p∧?q∧?r)∨(?p∧?q∧r))∨(?p∧(?q∨q)∧?r)∨(p∧q∧r) 分配律2 (?p∧?q∧?r)∨(?p∧?q∧r)∨(?p∧(?q∨q)∧?r)∨(p∧q∧r) 結合律 (?p∧?q∧?r)∨(?p∧?q∧r)∨((?p∧?q∧?r)∨(?p∧q∧?r))∨(p∧q∧r) 分配律2 (?p∧?q∧?r)∨(?p∧?q∧r)∨(?p∧?q∧?r)∨(?p∧q∧?r)∨(p∧q∧r) 結合律 (?p∧?q∧r)∨(?p∧?q∧?r)∨(?p∧q∧?r)∨(p∧q∧r) 等冪律得到主析取範式
檢查遺漏的極小值,取反,合取得到主合取範式
(?p∨q∨r)∧(?p∨q∨?r)∧(?p∨?q∨r)∧(p∨?q∨?r)
(2)
(?p→q)→(?q∨p)
(?p→q)→(p∨?q) 交換律 排序 (?p→q)∨(p∨?q) 變成 合取析取 (p∨q)∨(p∨?q) 變成 合取析取 (?p∧?q)∨(p∨?q) 德摩根定律 (?p∧?q)∨p∨?q 結合律 q∨p∨?q 合取析取 吸收率 p∨?q∨?q 交換律 排序 p∨?q 等冪律得到主合取範式,再檢查遺漏的極大項
M?∏(1) ∏(0,2,3)?∑(0,2,3)?m?∨m?∨m? (p∨q)∨?(?p∨q)∨?(?p∨?q) 德摩根定律 (?p∧?q)∨(p∧?q)∨(p∧q) 德摩根定律得到主析取範式
(3)
(p→q)∧q∧r (?p∨q)∧q∧r 變成 合取析取 (p∧?q)∧q∧r 德摩根定律 p∧?q∧q∧r 結合律 FALSE 排中律或矛盾律