conjunctive normal form的意思

conjunctive normal form中文翻譯：

[數]合取范式

合取范式; “與”標準形

相似詞語短語

conjunctive eye movement───結膜眼球運動

conductive education───傳導教育；引導式教育

conductive educations───傳導教育；引導式教育

conjunctional───adj.連結的；連接詞的；邏輯乘的

conjunctionally───關連地

conjunctival───adj.結膜的

conjunctively───adv.結合地

conjunctiveness───連接

conjunctive eye movements───聯合眼動

雙語使用場景

A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.───實際應用中給出一種簡化算法：一邊從信息表中提取差別元素構成合取范式，一邊用分配律、吸收律作邏輯公式的等價變換，直接得到最小析取范式。

This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.───文章提出一種快速有效發現意外規則的算法，該算法允許規則的結果為合取范式。

An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.───引入了一個飽和合取范式的概念，利用飽和合取范式的性質，對SAT問題的本質進行了研究。

Principal Disjunctive and Conjunctive Normal Form───主范式的運算性質

and the principal conjunctive normal form───主合取范式

英語使用場景

With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.

Then the above learned information in the conjunctive normal form clauses is used to restrict and focus the overall search space of SAT-based test pattern generation.

This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.

An new concept of saturated conjunctive normal form is introduced and the nature of SAT problem is studied for utilizing the characteristic of saturated conjunctive normal form.

First, the constraints are processed in the software system, namely, the constraints are converted to conjunctive normal form, and then converted to Boolean expression.

Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.