P Q RP Q R 的主析取正規化和主合取正規化

時間 2021-08-30 09:48:08

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 糕調 荻...

求書 女主的朋友和男主的朋友是一對,然後女主和她朋友打賭男主

惜懩 女主十八歲是小三的女兒,被爸爸送給總裁,一個月後被拋棄了,男主喜歡女主,還去爬山。結局是女主在車上被男二吻了,因為吸菸吧。求幫忙。還有一篇是男主喜歡的人變成了他後媽,男主還和女主的姐姐一段 男主裝窮,她姐愛錢拋棄了男主 女主只有爸爸,她爸賭博喝酒還總是毆打女主和她姐,最後還差點被爸爸上了,女主...

有一部小說的男主女主是娃娃親,女主小時候和爺爺一起生活的,女主第一次去男主家是提著一袋蘋果去的

易昊乾 他們是娃娃親,也就是從小就在一起玩耍,女主第一次去男生家禮物是一代蘋果,這禮物雖然不高貴但是不平凡,蘋果的意思是平平安安,有果果,就是果實 輕鬆一刻 這些肥皂劇看看就算了,沒有必要糾結什麼東西。 匡承德 這部 情節有點簡單有點平淡有點 無奇不有哈 似梧桐 你是想編這部 還是你介紹大家看這部 ...