Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Forme Normale Conjonctive
CHF 37.45
Auf Lager
SKU
QV31JHDF62M
1 Verfügbar 
Geliefert zwischen Mo., 22.12.2025 und Di., 23.12.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.
Weitere 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
