Aussagenlogische Formel auf einfach Gestalt bringen |
12.05.2009, 21:09 | JochenKnochen | Auf diesen Beitrag antworten » |
Aussagenlogische Formel auf einfach Gestalt bringen ich versuche gerade folgende aussagenlogische Formel auf einfach Gestalt zu bringen: B and ((B -> A) -> (A -> B)) B and ((not B or A) -> (not A or B)) B and (not(not B or A) or (not A or B)) So und nun bin ich mir nicht sicher wie ich mit dem not(not umzugehene habe ist zweimal not einfach kein not mehr? Oder wird durch das Morgansche Gesetz aus dem or ein and? Variante 1: B and ((B or not A) or (not A or B)) B and ((B or not A) Variante 2: B and ((B and not A) or (not A or B)) mfg JochenKnochen |
||
13.05.2009, 02:43 | frank09 | Auf diesen Beitrag antworten » |
RE: Aussagenlogische Formel auf einfach Gestalt bringen not(not B or A) = (B and not A) man könnte auch sagen: not(A or B) =not A and not B, oder: nicht (A oder B)= weder noch. |
||
22.05.2009, 17:27 | JochenKnochen | Auf diesen Beitrag antworten » |
Ok dann hätte ich also: B and ((B and not A) or (not A or B)) wie wäre denn der nächste Schritt um die Formel zu vereinfachen? Ich steh irgendwie auf dem Schlauch. mfg J.K. |
||
23.05.2009, 15:04 | JochenKnochen | Auf diesen Beitrag antworten » |
ok ich glaube ich habe es inzwischen danke |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|