-
析取範式
鎖定
- 中文名
- 析取範式
- 外文名
- disjunctive normal form
- 學 科
- 離散數學
- 簡 稱
- DNF
- 相關術語
- 合取範式
- 應用領域
- 人工智能、數據挖掘
析取範式簡單析取式
析取範式析取
析取是最常用的邏輯聯結詞之一,表示“或”的意思。析取是邏輯和數學概念中的一個二元邏輯算符。其運算方法是:如果其兩個變量中有一個真值為“真”,其結果為“真”,兩個變量同時為假,其結果為“假”。析取在數據挖掘和數據庫等很多領域都有廣泛應用。
[1]
析取範式定義
例如,
等為一個文字構成的簡單析取式。一個文字既是簡單析取式,又是簡單合取式。
簡單析取式:
簡單合取式:
析取範式定理
析取範式析取範式
析取範式定義
(1)由有限個簡單合取式構成的析取式稱為析取範式。
(2)由有限個簡單析取式構成的合取式稱為合取範式。
設
為簡單的合取式,則
為析取範式。
例如,析取範式:
合取範式:
析取範式定理
析取範式存在性
範式存在定理:任一命題公式都存在着與之等值的析取範式與合取範式。
證明:
1、由藴涵等值式和等價等值式可知,
2、用雙重否定率和德摩根律,可得
3、利用分配律,可得
析取範式求析取範式
析取範式步驟
第一步:消去聯結詞
和
;
第二步:消去否定號
;
第三步:利用分配律。
析取範式示例
解:
(1)合取範式:
(2)析取範式
析取範式主析取範式
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:24次歷史版本
- 最近更新: w_ou