Jisho

×
じょうほうひょうじゅんけい 乗法標準形
Noun
1. conjunctive normal form; CNFMathematics
Wikipedia definition
2. Conjunctive normal formIn Boolean logic, a formula is in conjunctive normal form (CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals. As a normal form, it is useful in automated theorem proving. It is similar to the product of sums form used in circuit theory. All conjunctions of literals and all disjunctions of literals are in CNF, as they can be seen as conjunctions of one-literal clauses and conjunctions of a single clause, respectively.
Read “Conjunctive normal form” on English Wikipedia
Read “乗法標準形” on Japanese Wikipedia
Read “Conjunctive normal form” on DBpedia

Discussions

to talk about this word.