Forme Normale Conjonctive
CHF 39.60
Auf Lager
SKU
QV31JHDF62M
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Mi., 08.10.2025 und Do., 09.10.2025
Details
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.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786138055211
- Gewicht 100g
- Herausgeber Alphascript Publishing
- Anzahl Seiten 60
- Genre Science & Medicine
- Auflage Aufl.
- Editor Gerd Numitor
- Untertitel Calcul des propositions, Algbre de Boole (logique), Assistant de preuve, Problme SAT
- Größe H229mm x B152mm x T4mm
- Jahr 2011
- EAN 9786138055211
- Format Kartonierter Einband (Kt)
- ISBN 978-613-8-05521-1
- Titel Forme Normale Conjonctive
- Sprache Französisch
Bewertungen
Schreiben Sie eine Bewertung
