Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Äquivalenzumformung / Diskrete Strukturen (http://www.informatikerboard.de/board/thread.php?threadid=4236)
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
Forensoftware: Burning Board, entwickelt von WoltLab GmbH