“合取範式”簡單造句，合取範式造句子

之後從該圖中學習出引起衝突賦值的合取範式子句，將這些學習的子句增補到子句庫中，用以限制和修剪測試生成的搜索空間，從而加速測試模式的生成過程。

本文給出極小子集問題的邏輯代數解法，即通過求邏輯函數的極小析取範式或極小合取範式來獲得極小子集。

查詢條件的生成採用的是合取範式的標準形式，用户界面的生成採用了標準的可視對象。

實際應用中給出一種簡化算法：一邊從信息表中提取差別元素構成合取範式，一邊用分配律、吸收律作邏輯公式的等價變換，直接得到最小析取範式。

針對差別矩陣求約簡過程中合取範式向析取範式等價轉換的難題，提出一種基於差別矩陣構造約簡樹的有效方法。

該方法是對待測系統中的約束條件進行處理，將約束條件先轉化為合取範式再轉化為布爾表達式的形式。

文章提出一種快速有效發現意外規則的算法，該算法允許規則的結果為合取範式。