Forme Normale Conjonctive
Calcul des propositions, Algèbre de Boole (logique), Assistant de preuve, Problème SAT
Herausgegeben: Numitor, Gerd
Versandkostenfrei!
Versandfertig in 6-10 Tagen
19,99 €
inkl. MwSt.
PAYBACK Punkte
10 °P sammeln!
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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. Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disj...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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. Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux. Tout comme dans une forme normale disjonctive (FND), les seuls opérateurs dans une FNC sont le et logique, le ou logique et la négation.
Andere Kunden interessierten sich für
