Äquivalenzumformung / Diskrete Strukturen |
| 26.10.2019, 14:59 | 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 |
|
|
|
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
| Die Neuesten » |
|
