Sie sind auf Seite 1von 2

Tableau Technik

Die Tableau Technik ist eine Form der systematischen Auswertung der Wahrheitswerte einer beliebigen Formel. Die Auswertung erfolgt immer in Hinblick auf einen Wahrheitswert, also in der Regel auf W oder F. Dieser sollte der Aufgabe entsprechend sinnvoll gew ahlt werden. Was hier sinnvoll heit, kann man am besten durch das Schema erkennen. Die folgende Formel soll auf Erf ullbarkeit getestet werden, wir fragen also nach W. Das wird durch ein W rechts der Formel deutlich gemacht. Beispiel: ((A (C B )) ((A B ) C )) W

Im n achsten Schritt fragen wir uns, unter welchen Bedingungen diese Formel den gew unschten Wahrheitswert bekommt. Wir gehen hierbei analog wie beim Formelbaum vor, wir betrachten den letzten Junktor. In diesem Fall ist das . Je nach Junktor gibt es dann verschiedene Antworten auf die Frage Wann die Formel W wird. Bei ist die Antwort: Wenn die Vorletzte Formel F ist. Bei ist die Antwort: Wenn die beiden Teilformel jeweils W sind. Bei ist die Antort: Wenn mindestens eine der beiden Teilformeln W ist. Bei ist die Antwort: Wenn die linke Teilformel F oder die rechte Teilformel W ist. Bei ist die Antwort: Wenn entweder beide Teilformeln W oder beide F sind. Fragt man nach F, so andert sich das nat urlich komplement ar. Im Beispiel sieht das dann so aus:

((A (C B )) ((A B ) C )) (A (C B )) ((A B ) C ) F F

W W W

(A (C B )) ((A B ) C )

Da die Biimplikation zwei M oglichkeiten bietet, die Formel wahr zu machen, gibt es zwei Pfeile. Diese geben dann an, welchen Wahrheitswert die jeweiligen Teilformeln annehmen m ussen. Das wird dann untereinander geschrieben um zu verdeutlichen: Es soll/muss gleichzeitig gelten! Analog geht es so weiter. Bei verschiedenen M oglichkeiten den gew unschten Wahrheitswert zu bekommen, Pfeile verwenden, 1

gibt es mehrere Bedingungen f ur einen Wahrheitswert, untereinander schreiben. Man nennt einen Ast dieses Baumes auch Pfad. Das macht man solange, bis man nur noch Bedingungen f ur Aussagenvariablen hat. Jeder Pfad steht, aufgrund unserer Herangehensweise, f ur eine Anforderung an die Aussagenvariablen, die, wenn sie erf ullt ist, der Ausgangsformel den gew unschten Wahrheitswert verpassen. Es m ussen aber nicht f ur alle Aussagenvariablen bedingungen herauskommen, manchmal sind die anderen Variablen egal. Beispiel: (A B ) ist wahr, wenn A:F. Es kommt dann nicht auf B an) Im Beispiel sieht das dann so aus (nur die linke Seite):

((A (C B )) ((A B ) C )) (A (C B )) ((A B ) C ) (A (C B )) (A B ) C A A B C F F W W F F W W F

W W W

(A (C B )) ((A B ) C )

(C B ) A B C

W W W F

Aus den letzten Bl ocken der linken Seite ergibt sich beidesmal dieselbe L osung, um die Ausgangsformel W zu machen, n amlich A:W, B:W, C:F. man muss hierbei auch darauf achten, dass hier nicht widerspr uchliche Forderungen an die Variablen gestellt werden. Kommt z.B. ein A:W vor und sp ater ein A:F, so gibt es f ur diesen Pfad keine m ogliche Belegung, um ihn zu erf ullen. Man sagt auch er schliet. das wird mit einen gekennzeichnet. Aus diesem Schema kann man erkennen, was eine sinnvolle Herangehensweise f ur die anf angliche Wahrheitswertbedingung ist. Sucht man nach einer Tautologie, so versucht man die Formel F zu machen. Hat man dann einen Pfad gefunden, so ist man schon fertig, und kann den Rest ignorieren. Ist es wirklich eine Tautologie, so m ussen dann ale Pfade schlieen (d.h. Es gibt keine Belegung unter der die Formel F wird).