| German |
| has gloss | deu: Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. |
| lexicalization | deu: disjunktive Normalform |
| Finnish |
| has gloss | fin: Disjunktiivinen normaalimuoto tarkoittaa sellaista lauseketta, joka on koottu propositiologiikan propositiomuuttujista sekä TAI-, JA- ja EI-konnektiiveista (merkitään \or, \and ja \neg) tietyllä tavalla, joka kuvataan alla tarkemmin. Tämän menetelmän mukainen esitys on olemassa jokaiselle totuusfunktiolle, mikä osoittaa kyseisen konnektiivi-joukon täydelliseksi ja näin tekee propositiologiikan "peruskonnektiiveista" ja itse disjunktiivisen normaalimuodon menetelmästä perustavan välineen niin kaksiarvo-logiikan tutkimiselle kuin sen sovelluksillekin esimerkiksi loogisissa piireissä. |
| lexicalization | fin: Disjunktiivinen normaalimuoto |
| French |
| has gloss | fra: En logique booléenne ou en Calcul des propositions, une forme normale disjonctive (FND) est une normalisation dune expression logique qui est une disjonction de clauses conjonctives. Elle est utilisée dans la démonstration automatique de théorèmes. Une expression logique est en FND si et seulement si elle est une disjonction dune ou plusieurs conjonctions dun ou plusieurs littéraux. Tout comme dans une forme normale conjonctive (FNC), les seuls opérateurs dans une FND sont le et logique, le ou logique et la négation. Lopérateur non ne peut être utilisé que dans un littéral, cest-à-dire quil ne peut que précéder une variable. Par exemple, toutes les expressions suivantes sont en FND: |
| lexicalization | fra: Forme normale disjonctive |
| Hebrew |
| has gloss | heb: Disjunctive Normal Form או הצורה הנורמלית הדיסיונקטיבית - הוא ביטוי המורכב מאוסף פרדיקטים לוגיים המחוברים ביניהם על ידי ביטויי OR כאשר כל פרידיקט הוא אוסף של ביטויים המחוברים ביניהם על ידי ביטויי AND. ניתן להביא כל ביטוי לוגי לצורת DNF. |
| lexicalization | heb: DNF |
| Hungarian |
| has gloss | hun: A diszjunktív normálforma, röviden DNF 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 konjunkcióinak diszjunkciója: \bigvee_i \bigwedge_j (\neg)x_ij}. |
| lexicalization | hun: diszjunktív normálforma |
| Japanese |
| has gloss | jpn: 加法標準形（かほうひょうじゅんけい、）は、ブール論理での論理式の標準化（正規化）の一種であり、連言節の選言の形式で論理式を表す。主加法標準形、選言標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。 |
| lexicalization | jpn: 加法標準形 |
| Dutch |
| has gloss | nld: In de logica is een propositie in disjunctieve normaalvorm (Engels: Disjunctive Normal Form, DNF) als die bestaat uit een disjunctie van conjuncties. In een disjunctieve 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 conjunctieve normaalvorm, een conjunctie van disjuncties. |
| lexicalization | nld: disjunctieve normaalvorm |
| Norwegian |
| has gloss | nor: En utsagnslogisk formel er på disjunktiv normalform (DNF) hvis den er en disjunksjon av konjunksjoner av literaler. De eneste utsagnslogiske konnektivene i en DNF-formel er og, eller og ikke, og ikke kan bare forekomme i literalene. Følgende formler er på DNF: |
| lexicalization | nor: Disjunktiv Normalform |
| Polish |
| has gloss | pol: Dysjunkcyjna postać normalna (ang. disjunctive normal form, DNF) formuły logicznej to formuła zapisana w postaci dysjunkcji (alternatywy) klauzul dualnych. |
| lexicalization | pol: Dysjunkcyjna postać normalna |
| Portuguese |
| has gloss | por: Na lógica booleana, uma forma normal disjuntiva (FND) é uma normalização de uma fórmula lógica a qual é uma disjunção de cláusulas conjuntivas. Como uma forma normal, a FND é útil em provas automáticas de teoremas. Uma fórmula lógica é considerada uma FND se, e somente se, fôr uma disjunção de uma ou mais conjunções de um ou mais literais. Como na forma normal conjuntiva (FNC), os únicos operadores proposicionais na FND são e, ou e não. O operador não pode ser usado apenas como parte de um literal, o qual significa que pode apenas preceder uma variável proposicional. Por exemplo, todas as seguintes fórmulas estão na FND: |
| lexicalization | por: Forma Normal Disjuntiva |
| Russian |
| has gloss | rus: Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции нескольких конъюнкций. |
| lexicalization | rus: Дизъюнктивная нормальная форма |
| Ukrainian |
| has gloss | ukr: Дизюнкти́вна норма́льна фо́рма (ДНФ) в булевій логіці - нормальна форма в якій булева формула має вид дизюнкції декількох конюнктів (де конюнктами називаються кон'юнкції декількох пропозиційних символів або їх заперечень). |
| lexicalization | ukr: Диз'юнктивна нормальна форма |
| Chinese |
| has gloss | zho: 在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在 DNF 中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF: |
| lexicalization | zho: 析取范式 |
