| Czech |
| has gloss | ces: Ve výrokové logice je formule v konjunktivní normální formě (KNF nebo CNF z anglického conjunctive normal form), pokud je ve tvaru konjunkcí klauzulí, kde klauzule je disjunkcí literálů. Jako normální forma se používá v automatickém dokazování vět. Podobná kanonická forma se používá v teorii obvodů. |
| lexicalization | ces: Konjunktivní normální forma |
| German |
| has gloss | deu: Als konjunktive Normalform (kurz KNF) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet. |
| lexicalization | deu: konjunktive Normalform |
| French |
| has gloss | fra: En logique booléenne et en calcul des propositions, une forme normale conjonctive (FNC) est une normalisation d'une expression logique qui est une conjonction de clauses, autrement dit une conjonction de disjonction de littéraux. Les formules en FNC sont utilisée dans le cadre démonstration automatique de théorèmes ou encore dans la résolution du problème SAT. |
| lexicalization | fra: Forme normale conjonctive |
| Hebrew |
| has gloss | heb: Conjunctive Normal Form או הצורה הנורמלית הקוניוקטיבית - הינו ביטוי המורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי פעולות וגם. (קוניונקציה) |
| lexicalization | heb: CNF |
| Hungarian |
| has gloss | hun: A konjunktív normálforma, röviden KNF a matematikai logika egy területén, a nulladrendű logikán belül definiálható fogalom, egy logikai műveletet leíró olyan ítéletlogikai formulát jelent, mely a művelet változóinak vagy negáltjainak diszjunkcióinak konjunkciója: \bigwedge_i \bigvee_j (\neg)x_ij}. |
| lexicalization | hun: konjunktív normálforma |
| Italian |
| has gloss | ita: Nella logica booleana, una formula è in forma normale congiuntiva o congiunta (FNC), indicata anche come CNF (acronimo di Conjunctive Normal Form) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali. Una formula in CNF ha quindi la seguente struttura: |
| lexicalization | ita: Forma normale congiuntiva |
| Japanese |
| has gloss | jpn: 乗法標準形（じょうほうひょうじゅんけい、）は、ブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。主乗法標準形、連言標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。 |
| lexicalization | jpn: 乗法標準形 |
| Korean |
| has gloss | kor: 불 대수에서 논리곱 표준형은 절의 논리곱으로 나타낸 논리식을 말한다. 여기서 절은 리터럴의 논리합으로 이루어진다. 논리곱 표준형의 영문 표기를 줄여서 CNF라고도 한다. |
| lexicalization | kor: 논리곱 표준형 |
| Dutch |
| has gloss | nld: In de logica is een propositie in conjunctieve normaalvorm (Eng. Conjunctive Normal Form, CNF, ook wel afgekort als CNV) als die bestaat uit een conjunctie van disjuncties met literals (ook een conjunctie van clauses genoemd). In een conjunctieve normaalvorm komen alleen de Booleaanse operatoren en, of en negatie voor waarbij de negatie alleen als onderdeel van een atomaire formule kan voorkomen. Er bestaat ook een disjunctieve normaalvorm, een disjunctie van conjuncties. |
| lexicalization | nld: conjunctieve normaalvorm |
| Polish |
| has gloss | pol: Koniunkcyjna postać normalna (ang. conjunctive normal form, CNF) danej formuły logicznej to równoważna jej formuła zapisana w postaci koniunkcji klauzul. |
| lexicalization | pol: Koniunkcyjna postać normalna |
| Portuguese |
| has gloss | por: Na lógica booleana, uma fórmula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais. Sendo uma forma normal, a FNC é útil em demonstrações automáticas de teoremas. Ela é similar à forma canônica de soma de produtos usada em teoria dos circuitos. |
| lexicalization | por: Forma Normal Conjuntiva |
| Russian |
| has gloss | rus: Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов. |
| lexicalization | rus: Конъюнктивная нормальная форма |
| Serbian |
| has gloss | srp: У буловској логици, формула је у конјуктивној нормалној форми (КНФ) ако представља конјункцију клауза, где је клауза дисјункција литерала. Као нормална форма, корисна је у аутоматском доказивању теорема. |
| lexicalization | srp: Конјуктивна нормална форма |
| Ukrainian |
| has gloss | ukr: Конюнкти́вна норма́льна фо́рма (КНФ) в булевій логіці - нормальна форма в якій булева формула має вид конюнкції декількох дизюнктів (де дизюнктами називаються дизюнкції декількох пропозиційних символів або їх заперечень). Конюнктивна нормальна форма широко використовується в автоматичному доведенні теорем, зокрема вона є основою для використання правила резолюції. |
| lexicalization | ukr: Кон'юнктивна нормальна форма |
| Chinese |
| has gloss | zho: 在布尔逻辑中，一个公式是合取范式(CNF)的，如果它是子句的合取。作为规范形式，它在自动定理证明中有用。它类似于在电路理论中的规范和之积形式。 |
| lexicalization | zho: 合取范式 |
