Tableau‑Methode

Natural & Formal Sciences Dictionary
Eine Suchtechnik für Beweise und Erfüllbarkeitstests, die logische Formeln schrittweise entlang eines Baumes (das Tableau oder Wahrheitbaum) in Bestandteile zerlegt, Zweige mit Widersprüchen schließt und so entweder aus einem offenen Zweig ein Gegenmodell konstruiert oder bei Schließen aller Zweige Gültigkeit nachweist.