e/Clausal normal form

Information
has gloss	eng: The clausal normal form (or clause normal form, conjunctive normal form, CNF) of a logical formula is used in logic programming and many theorem proving systems. A formula in clause normal form is a set of clauses, interpreted as a conjunction. A clause is an implicitly universally quantified set of literals, interpreted as a disjunction.
lexicalization	eng: clausal normal form
instance of	c/Normal forms (logic)

Meaning
Japanese
has gloss	jpn: 節標準形（英: Clausal normal form、CNF）とは、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の構造が破壊され、単純な変換をすると式のサイズが指数関数的に増大することが多い。
lexicalization	jpn: 節標準形
Portuguese
has gloss	por: A forma normal clausal é usada em programação lógica e em muitos sistemas provadores de teoremas. O procedimento de conversão de uma fórmula para a forma clausal pode destruir a estrutura da fórmula e, além disso, traduções feitas de forma descuidada freqüentemente causam o crescimento exponencial no tamanho da fórmula resultante.
lexicalization	por: Forma normal clausal