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.
Equisatisfiability
CHF 43.15
Auf Lager
SKU
14PD62A7NLD
1 Verfügbar 
Geliefert zwischen Mi., 28.01.2026 und Do., 29.01.2026
Details
High Quality Content by WIKIPEDIA articles! In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not. Two equisatisfiable formulae may have different models, provided they both have some or both have none. As a result, equisatisfiability is different from logical equivalence, as two equivalent formulae always have the same models. Equisatisfiability is generally used in the context of translating formulae, so that one can define a translation to be correct if the original and resulting formulae are equisatisfiable. Examples of translations involving this concept are Skolemization and some translations into Conjunctive normal form. The Davis-Putnam algorithm removes, at each step, a variable from a formula, generating a formula that is equisatisfiable with the original one.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131179723
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131179723
- Format Fachbuch
- Titel Equisatisfiability
- Herausgeber Betascript Publishing
- Anzahl Seiten 100
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
