合取正規化怎麼轉化為析取正規化?

2025-01-21 21:20:09 字數 4438 閱讀 9257

1樓:昆河夜語

合取正規化怎麼轉化為析取正規化?主合取正規化:若干個極大項的合取。

主析取正規化:若干個極小項的析取。

例,求公式(p∧q)∨r的主析取正規化及主合取正規化。

主析取正規化:

p∧q)∨r

p∧q∧(r∨┐r))∨p∨┐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)∨(p∧q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(p∧┐q∧r)∑(m1,m3,m5,m6,m7)

主合取正規化。

p∧q)∨r

p∨r)∧(q∨r)

p∨(q∧┐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)∏(m0,m2,m4)也就是:∑(m1,m3,m5,m6,m7)∏(m0,m2,m4)說明:∑:

表示連續的合取;∏:表示連續的析取。

從上面的裡子你不難看出兩者之間的關係吧!

對了,就是乙個主析取正規化轉化為主合取正規化就是取其主析取正規化內不存在的最小項的標號的最大項進行析取,反過來求也是一樣的!

2樓:庹甜恬

我們知道在離散數學中,有主合取正規化與主析取正規化的概念。本文分享什麼是主合取正規化與主析取正規化,以及如何按步驟求命題公式的主合取正規化與主析取正規化。

開啟分步閱讀模式。操作方法。

首先,我們需要了解一下數學概念。

簡而言之,主合取正規化,就是若干個極大項的合取(交集)。

主析取正規化,就是若干個極小項的析取(並集)。

而所謂的極大項,就是包含全部數目的命題變元的析取表示式。

所謂的極小項,就是包含全部數目的命題變元的合取表示式。

下面言歸正傳,我們看如何按步驟求解命題公式的主合取正規化與主析取正規化。

常用的方法有兩種,等值演演算法和真值表法。

等值演演算法,就是按照步驟推導公式,最終得到主合取正規化或者主析取正規化。

下面,我們來舉個例子,求出命題公式的主合取正規化與主析取正規化。

得到主合取正規化。

檢查主合取正規化中遺漏的4個主項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的指派,得到最大項。

從而寫出最大項的合取,得到主合取正規化。

析取是最常用的邏輯聯結詞之一,表示「或」的意思。析取是邏輯和數學概念中的乙個二元邏輯算符。其運算方法是:

如果其兩個變數中有乙個真值為「真」,其結果為「真」,兩個變數同時為假,其結果為「假」。析取在資料探勘和資料庫等很多領域都有廣泛應用。

定義。命題變項及其否定統稱作文字,僅由有限個文字構成的析取式稱為簡單析取式;僅由有限個文字構成的合取式稱為簡單合取式。

析取正規化和合取正規化是什麼?

3樓:帳號已登出

析取正規化和合取正規化如下:

約束條件可以是由獨立的表示式。

構成的,也可棗亮以是由多個表示式構成的合取正規化或析取正規化,其中獨立的表示式需要根據統計資訊計算選擇率,合取正規化和析取正規化則藉助計算概率的方法獲得選擇率。

合取正規化:p(a and b) =p(a) +p(b) –p(ab)

析取正規化:p(ab) =p(a) ×p(b)

假設要對約束條件「a>5andb<3」計算選擇率,那麼首先需要對 a>5和b<3分別計算選擇率,由於已經有了a 列和b 列的統計資訊,因此可以根據統計資訊計算出a 列中值大於5的資料比例。

數學的背後。

sql是豐富鎮巖擾多樣的,應用非常靈活,不同的開發人員依據不同的經驗,編寫的sql語句也是各式各樣,sql語句還可以通過工具自動生成。

sql是一種描述性語言,資料庫的使用者只是描述了想要的結果,而不關心資料的具體獲取方式。輸入數御旦據庫的sql語句很難做到以最優形式表示,往往隱含了冗餘資訊,這些資訊可以被挖掘以生成更加高效的sql 語句。

【離散數學】析取正規化和合取正規化怎麼轉化?

4樓:匿名使用者

變形:q∧(p∨┐p)∨(q∧p)

q∧1∨(┐q∧p)

q∨(┐q∧p)

q∨┐q)∧(q∨p)

1∧(q∨p)

q∨pq∨p就是乙個合取正規化。

其實我想你應該也能化到這一步,你不明白的應該是「這不明明是析取正規化嗎?你怎麼說他是合取正規化呢?」

不錯,他的確是析取正規化,但同時,他也是合取正規化,並且,他還是主合取正規化。

只是該主合取正規化中,只含有1個極大項:q∨p而已。

合取正規化的定義式:僅由有限個簡單析取式構成的合取式稱為析取正規化。

q∨p完全滿足定義,這裡的簡單析取式為1個。

另外你標題中的這個問題「析取正規化與合取正規化如何轉化」,其實析取正規化與合取正規化之間,是沒有像主析取正規化與主合取正規化之間那樣存在一條可以直接轉化的定律的。只能是自己去手工變形。事實上,任一命題公式都有無數多個析取正規化與合取正規化。

因此,是不可能存在主析取正規化與主合取正規化那樣的轉化方法的。

析取正規化的析取正規化與合取正規化

5樓:手機使用者

定義 命題變項及其否定統稱作文字。

僅由有限個文字構成的析取式稱為簡單析取式。

僅由有限個文字構成的合取式稱為簡單合取式。

例如,文字:p,┐q,r,q.

簡單析取式: p,q,p∨q,p∨┐p∨r,┐p∨轎鄭q∨┐r.

簡單合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐q.

定理乙個簡單析取式是重言式若且唯若它同時含某個命題變項及它的否定。

2)乙個簡單合取式是矛盾式若且唯若它同時含某個命題變項及它的否定。

定義由有限個簡單合取式構成的析取式稱為析取正規化。

2)由有限個簡單析取式構成的合取式稱為合取正規化。

3)析取正規化與合取正規化統稱為正規化。

例如,析取正規化:(┐p∧q)∨r, ┐p∨q∨r, p∨┐q∨r.

合取正規化:(p∨q∨r)∧(q∨r), p∧q∧r, p∧┐q∧r.

定理乙個析取正規化是矛盾式若且唯若它的每個簡單合取式都是矛盾式。

2)乙個合取正規化是重言式若且唯若它的每個簡單析取式都是重言式。

正規化的特點:

1) 正規化中不出現聯結詞→、«求正規化時可消去:

a→bó┐a∨b

a«bó(┐a∨b)∧(a∨┐b)

2)正規化中不出現如下形式的公式:

a, ┐a∧b), a∨b)

因為:┐┐a↔a

a∧b)↔┐a∨┐b

a∨b)↔┐a∧┐b

3)在析取正規化中不出現如下形式的公式:

a∧(b∨c)

在合取正規化中不出現如下形式的公式:

a∨(b∧c)

因為:a∧(b∨c)↔(a∧b)∨(a∧c)a∨(b∧c)↔(a∨b)∧(a∨c)

定理 (正規化存在定理)任一命題公式都存在著與之等值的析取正規化與合取正規化。

求正規化的步驟:

1.消去聯結詞→笑仔、↔;

2.消去否定號┐;

3.利用分配律。

命題公式的析取正規化與合取正規化都不是唯一的。

例 求公式(p→q)↔r的析取正規化與合取正規化。

解: (1)合取正規化:

p→q)↔r ↔ p∨q)↔ r

p∨q)→ r)∧(r→(┐p∨q))(p∨q)∨r)∧(r∨(┐p∨q))

p∧┐q)∨r)∧(p∨q∨┐r)

p∨r)∧(q∨r)∧(p∨q∨┐r)

2) 析取正規化。

p→q)↔r ↔ p∧┐q)∨r)∧(p∨q∨┐r)(p∧┐q∧┐p)∨(p∧┐碰帆汪q∧q)∨(p∧┐q∧┐r)∨(r∧┐p)∨(r∧q)∨(r∧┐r)

p∧┐q∧┐r)∨(p∧r)∨(q∧r)下面介紹命題公式的唯一規範化形式的正規化:主析取正規化與主合取正規化。

合取正規化具體過程

6樓:

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∧(¬r∨r))∨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)∨(p∨q∨r)吸收律、等冪律⇔(¬p∨q∨r))∨p∨q∨r)德摩根定律⇔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)

python怎麼將時間戳轉化為日期

當前時間戳 time.time 當前日期 time.ctime 1 python下日期到時間戳的轉換 import datetime import time datec datetime.datetime 2010,6,6,8,14,59 timestamp time.mktime datec.ti...

matlab怎麼把數轉化為行向量

小程抄序如襲下 a 11011 for i 1 length num2str a b i mod a,10 a floor a 10 endb b end 1 1 輸出結果 b 1 1 0 1 1 用num2str將其轉成符號向量 matlab行向量a變成列向量怎麼弄 a 1 5 a 1 2 3 4...

水幫浦中的流量Lh怎麼轉化為L

1小時 3600 秒 375 l h 375 3600 l s 對用水量的估算,以給排水手冊第二冊引數為依據,較為正規,但是多數情況下顯得較為保守,算出的用水量偏高。所以,各公司都有自己的經驗公式,估計結果也大致差不多,畢竟瞬時高峰期時間不長 也不容易出現。1h 3600s 375l h 375 3...