---

Geschrieben von Wolvetooth am 26.10.2019 um 14:59:

  Äquivalenzumformung / Diskrete Strukturen

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