Logische Beziehungen
Bei den Aktivitäten im letzten Kapitel ist vielleicht aufgefallen, dass es manchmal möglich ist, die gleiche Aussage mit unterschiedlichen logischen Operatoren zu machen. Ein ganz einfaches Beispiel ist, dass man statt x>0 auch viel komplizierter schreiben kann ¬(¬(x>0)). Beide Ausdrücke sind äquivalent (für Terme, die Zahlen beschreiben, gibt es ja auch viele äquivalente Schreibweisen.).
Es gibt noch viele weitere Äquivalenzen von logischen Ausdrücken. Das folgende Applet zeigt eine ganze Reihe von logischen Ausdrücken, von denen einige äquivalent sind. Versuche erst durch Überlegen herauszufinden, welche das sein könnten, und überprüfe dann durch Anzeigen der Lösungsmenge.