English » German

Translations for „'conjunctive“ in the English » German Dictionary

(Go to German » English)

conjunctive normal form, CNF N

User Entry

- Reedit this entry
- Recommend deletion

conjunctive normal form, CNF COMPUT, MATH

konjunktive Normalform

Monolingual examples (not verified by PONS Editors)

English

When a theorem is proven, the system produces a verifiable proof, which validates both the clausification phase and the refutation of the conjunctive normal form. en.wikipedia.org

Later treatment of conjunctive and boolean grammars is the most thorough treatment of this formalism to date. en.wikipedia.org

Since all logical formulae can be converted into an equivalent formula in conjunctive normal form, proofs are often based on the assumption that all formulae are CNF. en.wikipedia.org

The adverbs and adverbial phrases that fit the criteria for a conjunctive adverb are always modifiers of the predicate in the first independent clause. en.wikipedia.org

A further extension of conjunctive grammars known as Boolean grammars additionally allows explicit negation. en.wikipedia.org

Would you like to add a word, a phrase or a translation?

Submit a new entry.

Browse the dictionary

English

Look up "'conjunctive" in other languages

Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文