Äquivalenzumformung / Diskrete Strukturen

Neue Frage »

Auf diesen Beitrag antworten »
Wolvetooth Ä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
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »