Also gut, nochmal:
> expr := BooleanSimplify( (a &and ¬ b) &or (a &and b &and ¬ c) &or (a
> &and b &and c) &or (¬ a &and b &and c) &or (a &and ¬ b &and ¬ c));
expr := a &or (b &and c)
> tt := TruthTable(expr, [a, b, c], form=MOD2);
tt := TABLE([(0, 0, 1) = 0,
(0, 1, 1) = 1,
(1, 1, 0) = 1,
(0, 0, 0) = 0,
(1, 0, 0) = 1,
(0, 1, 0) = 0,
(1, 1, 1) = 1,
(1, 0, 1) = 1])
Die Tabelle sollte sich nun exakt mit der urspruenglichen decken... und
das tut sie auch! Passt jetzt ;)
Sieht man ja an der Tabelle: Immer wenn a gesetzt ist, ist auch y wahr,
oder aber halt wenn b und c gesetzt sind. Haku hatte also recht mit
seinem Post ;)