Boolesche Algebra

[Edward]

aber wie komme ich von diesem Schritt auf: (a')' = a ?

$$(a')'=(a')'*(a+a')=(a')'*a+(a')'*a'=(a')'*a=(a')'*a+a'*a=((a')'+a')*a=a$$ Welcher Schritt, welches Axiom verwendet (und das Auftrennen von Mehrfachschritten in einfache) bleibt dem Leser zur Übung überlassen.