Forme Normale Conjonctive
Calcul des propositions, Algèbre de Boole (logique), Assistant de preuve, Problème SAT
978-613-8-05521-1
6138055217
60
2011-10-26
29.00 €
fre
https://images.our-assets.com/cover/230x230/9786138055211.jpg
https://images.our-assets.com/fullcover/230x230/9786138055211.jpg
https://images.our-assets.com/cover/2000x/9786138055211.jpg
https://images.our-assets.com/fullcover/2000x/9786138055211.jpg
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.
https://morebooks.de/books/fr/published_by/flu-press/189868/products
Sciences naturelles générale
https://morebooks.de/store/fr/book/forme-normale-conjonctive/isbn/978-613-8-05521-1