連言標準形
Sign in to saveAlso known as CNF, clausal form, product of sums expression
concept in Boolean logic
Wikidata facts
- Instance of
- canonical normal form
- Subclass of
- propositional formula
- Has part
- logical conjunction
Show 1 more fact
- studied by
- mathematical logic
Sources (2)
via Wikidata · CC0
Article · 日本語
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。
Abstract from DBpedia / Wikipedia · CC BY-SA