Lexikon der Mathematik: erfüllbarer Boolescher Ausdruck
ein Boolescher Ausdruck \(w\in {{\mathfrak{A}}}_{n}\), der eine Boolesche Funktion φ(w) darstellt (Boolescher Ausdruck), für die es wenigstens eine Variablenbelegung α ∈ {0, 1}n mit
Die ON-Menge der Booleschen Funktion φ(w) heißt Erfüllbarkeitsmenge des Booleschen Ausdrucks w. Ein Verfahren, das entscheidet, ob die Erfüllbarkeitsmenge eines Booleschen Ausdrucks w nicht leer ist, wird Erfüllbarkeitstest genannt.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!