Erfüllbarkeit
- Über 2.400 Übungen mit fast 200.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
In der Aussagenalgebra heißt eine Aussage "erfüllbar", wenn es mindestens bei einer Einsetzung von Elementen des Definitionsbereichs in eine wahre Aussage überführt werden kann.