Meine Frage:
Hallo!
Ich habe folgende Aufgabe und leider komme ich nicht weiter:
Beweisen Sie mit Hilfe einer Äquivalenzkette, dass die Formeln F und G semantisch
äquivalent sind! Geben Sie hierbei jeweils die verwendeten Umformungsregeln an!
F = (A ^ B) --> C
G = (A --> B) --> (A --> C)
Meine Ideen:
Hier ist meine momentane Lösung.
Die Wahrheitstabellen sind auch momentan beide richtig
Wolvetooth hat dieses Bild (verkleinerte Version) angehängt:
