1樓：zzllrr小樂
先進行化簡，求出乙個主正規化後，再求另乙個主正規化具體過程：
(p∧r)∨(q∧r)∨¬p
⇔r∨(q∧r)∨¬p 合取析取 吸收率
⇔r∨¬p 合取析取 吸收率
⇔¬p∨r 交換律 排序
⇔¬p∨(¬q∧q)∨r 補項
⇔(¬p∨¬q∨r)∧(¬p∨q∨r) 分配律得到主合取正規化，再檢查遺漏的極大項
⇔m₄∧m₆⇔∏(4,6)
⇔¬∏(0,1,2,3,5,7)⇔∑(0,1,2,3,5,7)⇔m₀∨m₁∨m₂∨m₃∨m₅∨m₇
⇔¬(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∧r)∨(q∧r)∨¬p
<==> ((p∨q)∧r)∨¬p
<==> ((p∨q)∨¬p)∧(r∨¬p)<==> 1∧(r∨¬p)
<==> (¬p∨q∨r)∧(¬p∨¬q∨r)<==> m4∧m6 （主合取正規化）
<==> m0∨m1∨m2∨m3∨m5∨m7 （主析取正規化）
離散數學裡求主析取正規化和主合取正規化的詳解例題
3樓：房微毒漸
(p∧┐q)∨(r∧┐p)
<==>(p∧┐q∧r)∨(p∧┐q∧┐r)∨(r∧q∧┐p)∨(r∧┐q∧┐p)
(┐r∧p)∨(┐q∧p)
<==>(┐r∧q∧p)∨(┐r∧┐q∧p)∨(r∧┐q∧p)∨(┐r∧┐q∧p)
這樣分開來看，能理解嗎？
答題不易，請及時採納，謝謝！
求詳細解釋離散數學中的析取正規化、合取正規化，主析取正規化、主合取正規化
4樓：zzllrr小樂
簡而言之，主合取正規化，就是若干個（只有1個也可以）極大項的合取（交集）。
主析取正規化，就是若干個（只有1個也可以）極小項的析取（並集）。
如何按步驟求命題公式的主合取正規化與主析取正規化
離散數學 主合取正規化問題
5樓：
構成主合取正規化的每乙個極小項的成假賦值是唯一的，除此之外的賦值都是成真賦值。比如三個命題變項組成的乙個極小項p∨q∨r的成假賦值是000，對應於p,q,r都取0。再比如┐p∨┐q∨r的唯一的成假賦值是110，也對應於p,q,r都取0。
離散數學題目 用圖論解
平凡的世界之 轉化為圖論問題既是 在乙個n頂點的無向圖中，當邊數k n 1 n 2 2時，證明其為連通圖，證明如下 假設存在乙個n節點k條邊無向圖，為不連通的，即設它存在2個連通分支 連通分支越多，邊數越少，故只需討論兩個連通分支的情況 並設乙個連通分支的節點數為s，則另乙個連通分支為n s，則易知...