Erfüllbarkeit
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.
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.