Konjunktive Normalform
Sign in to saveAlso known as CNF, clausal form, product of sums expression
Normalform einer aussagenlogischen Formel
Wikidata facts
- Instance of
- canonical normal form
- Subclass of
- propositional formula
- Has part
- logical conjunction
Show 1 more fact
- studied by
- mathematical logic
Sources (2)
via Wikidata · CC0
Article · Deutsch
Als konjunktive Normalform (kurz KNF, englisch CNF für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet.
Abstract from DBpedia / Wikipedia · CC BY-SA