Aussagenlogik, Formel in KNF umwandeln. |
| 30.03.2015, 23:01 | DestoX | Auf diesen Beitrag antworten » |
| Aussagenlogik, Formel in KNF umwandeln. <=> soll äquivalent heißen A <--> B v (B^C) <=> (A --> B)^(B-->A) v (B^C) <=> (-AvB) ^ (-BvA) v (B ^ C) Hier komm ich dann nicht mehr weiter. Meine Lösungsansätze: 1 .(-AvB) ^ (-BvAvB) ^ (-BvAvC) <=> (-AvB) ^ A ^ (-BvAvC) oder 2. (-AvB) ^ (-BvB) ^ (-BvC) ^ (AvB) ^ (AvC) <=> (-AvB) ^ (-BvC) ^ (AvB) ^ (AvC) Habe allerdings alles mit Wahrheitstafeln überprüft und da sind diese nicht äquivalent. Hoffe ihr könnt mir helfen. |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
|
| Die Neuesten » |
|
