@Jake2042: Beide Methoden sind äquivalent. Am Ende geht es darum, für alle Belegungen der Eingangsvariablen den Wahrheitswert der Gesamtaussage zu bestimmen. Wichtig ist, dass in der Aufstellung aller Belegungen keine vergessen wird. Da es bei Eingangsvariablen genau verschiedene Belegungen gibt, ist dies nicht so einfach. Die Methode von Quine ist nun eine andere Methode, das ganze aufzuschreiben (welche mich persönlich an den Wahrheitsbaum erinnert). Jeder kann für sich entscheiden, welche Methode ihm mehr liegt. Die Methode von Quine kannte ich vorher nicht und ich weiß auch nicht, ob sie irgendwo in WP beschrieben wird. -- Stephan Kulla 00:45, 15. Mär. 2016 (CET)