Lexikon der Mathematik: Tautologietest
Verfahren, das überprüft, ob für eine Boolesche Funktionf : D → {0, 1} mit D ⊆ {0, 1}n für alle α ∈ D f(α) = 1 gilt.
Copyright Springer Verlag GmbH Deutschland 2017
- Die Autoren
- Prof. Dr. Guido Walz
Verfahren, das überprüft, ob für eine Boolesche Funktionf : D → {0, 1} mit D ⊆ {0, 1}n für alle α ∈ D f(α) = 1 gilt.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.