im zuge der klausurvorbereitung ist mir aufgefallen das in der musterlösung zu f1 blatt 5 aufgabe 1 in der 4. teilaufgabe wohl ein fehler ist:

für die belegung a=1, b=1, c=0 erhält man aus der ausgangsformel ein wahr…. bei der angeblichen lösung aber ein falsch

ich wollte das nur kundtun um bei euch verwirrungen vorzubeugen wie sie bei mir aufgetreten sind (vielleicht wurde das in f1 schon mal irgendwo erwähnt… aber sicher ist sicher)

viel spass noch beim lernen ;)

Stimmt! Bei Blatt 5, Aufgabe 1, 4 muss die allerletzte Klausel nicht (C or neg B) lauten, sondern (neg C or neg B). [Diese Klausel entsteht durch Anwendung des Distributivgesetzes (und Idempotenz) auf das neg C in der dualen Klausel (A and B and neg C) und die Klausel (neg B or neg B).]

Pardon [img]http://www.fb18.de/gfx/28.gif[/img]

Cheers,
Frank