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 » |
|