1樓:實夏莫未
p→(q∧r)
⇔¬p∨(q∧r)
變成合取析取
⇔(¬p∨q)∧(¬p∨r)
分配律⇔(¬p∨q∨(¬r∧r))∧(¬p∨(¬q∧q)∨r)
補項⇔((¬p∨q∨¬r)∧(¬p∨q∨r))∧(¬p∨(¬q∧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))
分配律2
⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(¬p∨q∨r)
結合律⇔(¬p∨q∨¬r)∧(¬p∨¬q∨r)∧(¬p∨q∨r)
等冪律得到主合取正規化,再檢查遺漏的極大項
⇔m₄∧m₅∧m₆⇔∏(4,5,6)
⇔¬∏(0,1,2,3,7)⇔∑(0,1,2,3,7)⇔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)→(p∧r)的主析取正規化與主合取正規化 5
2樓:匿名使用者
p→(q∧r) ⇔ ¬p v (q ∧ r) 主析取正規化。
⇔ (¬p v q) ∧ (¬p v r) 主合取正規化。
其中「-」是非。p∧q就是這個公式的主析取正規化,因為這個就是最小項m3,所以根據正規化互補,它的主合取正規化就是m0∧m1∧m2。
關於離散數學 求如下公式的主析取正規化和主合取 正規化 (p∧q)∨(p∧r)
3樓:小樂笑了
求主正規化的過程如下:
(p∧62616964757a686964616fe78988e69d8331333337626230q)∨(p∧r)
⇔(p∧q∧(¬r∨r))∨(p∧(¬q∨q)∧r) 補項
⇔((p∧q∧¬r)∨(p∧q∧r))∨(p∧(¬q∨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)) 分配律2
⇔(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∧q)∨(¬r∧r))∧((¬p∧p)∨q∨r) 補項
⇔((p∨¬q∨(¬r∧r))∧(p∨q∨(¬r∧r)))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨(¬r∧r))∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 結合律
⇔((p∨¬q∨¬r)∧(p∨¬q∨r))∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 結合律
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧((p∨q∨¬r)∧(p∨q∨r))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧((¬p∧p)∨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) 等冪律
得到主合取正規化
4樓:匿名使用者
bai (p∧
q)∨(p∧r)
<==> (p∧duq∧(r∨zhi┐daor))∨(p∧(q∨┐q)∧r)
<==> (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)
<==> (p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)<==> m7∨m6∨m5 (主析取正規化)
<==> m4∧m3∧m2∧m1∧m0 (主合取正規化)
(p→q)∧q∧r的主析取正規化主合取正規化成真賦值成假賦值
5樓:zzllrr小樂
(p→q)∧q∧r
⇔ (¬p∨q)∧q∧r 變成 合取析取
⇔ q∧r 合取析取 吸收率
⇔ (¬p∨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)
成真賦值,看主析取正規化即可:
0 1 1
1 1 1
成假賦值,看主合取正規化即可:
0 0 1
0 1 0
0 1 1
1 0 1
1 1 0
1 1 1
女主小說,女主強大的,不要男主,最好是百合玄幻,末世,網遊,重生,穿越都可以
情戀綠茶 末世無限兌換,重生末世之強女這兩本極推薦,但有沒有男主後期不確定仍在 字數強女較多.百合的話.如果親對變身百合有興趣會比較多選擇.但要有tj的心理準備.bg女強文一堆,不要男主的話.末世涅鳳. 荻寳 已發,請耐心等候 若滿意請及時採納o o 郵箱是nancy0258 qq.com 糕調 荻...
求書 女主的朋友和男主的朋友是一對,然後女主和她朋友打賭男主
惜懩 女主十八歲是小三的女兒,被爸爸送給總裁,一個月後被拋棄了,男主喜歡女主,還去爬山。結局是女主在車上被男二吻了,因為吸菸吧。求幫忙。還有一篇是男主喜歡的人變成了他後媽,男主還和女主的姐姐一段 男主裝窮,她姐愛錢拋棄了男主 女主只有爸爸,她爸賭博喝酒還總是毆打女主和她姐,最後還差點被爸爸上了,女主...
有一部小說的男主女主是娃娃親,女主小時候和爺爺一起生活的,女主第一次去男主家是提著一袋蘋果去的
易昊乾 他們是娃娃親,也就是從小就在一起玩耍,女主第一次去男生家禮物是一代蘋果,這禮物雖然不高貴但是不平凡,蘋果的意思是平平安安,有果果,就是果實 輕鬆一刻 這些肥皂劇看看就算了,沒有必要糾結什麼東西。 匡承德 這部 情節有點簡單有點平淡有點 無奇不有哈 似梧桐 你是想編這部 還是你介紹大家看這部 ...