Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Suche » Suchergebnis » Hallo Gast [Anmelden|Registrieren]
Zeige Beiträge 1 bis 1 von 1 Treffern
Autor Beitrag
Thema: Äquivalenzumformung / Diskrete Strukturen
Wolvetooth

Antworten: 0
Hits: 531
Äquivalenzumformung / Diskrete Strukturen 26.10.2019 14:59 Forum: Logik


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
Zeige Beiträge 1 bis 1 von 1 Treffern