Boolsche Algebra

[Whatever]

Servus.

Ich zermarter mir gerade den Kopf ob ich das so richtig vereinfacht habe:

http://achse-des-boesen.org/sa.pdf

Die ausgangsformel ist richtig (da bin ich mir ziemlich sicher )...trotzdem will irgendwie die Gegenprobe nicht aufgehen (ich vermute ja darin den Fehler).

OpenOffice-Math Code dazu:

overline sa = (overline a and b and c and d) or (a and b and overline c and d) or (overline a and overline b and c and overline d) or (overline a and b and overline c and overline d)

newline    

overline sa = [(b and d) and ((overline a or a) or (overline c or c))] or [(overline a and overline d) and ((b or overline  or (c or overline c)) ]

newline

overline sa = [(b and d) and ( 1 or 1)] or [(overline a and overline d) and (1 or 1)]

newline

overline sa = (b and d) or (overline a and overline d)[/code]