forme normale conjonctive
Sign in to saveAlso known as CNF, clausal form, product of sums expression
normalisation d'une expression logique qui est une conjonction de clauses, autrement dit une conjonction de disjonction de littéraux
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 · Français
En logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL).
Abstract from DBpedia / Wikipedia · CC BY-SA