> 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.

> (a')' + a * a' = (a')'* a + (a')'* a' (Distributivgesetz) Das sieht falcsh aus. > 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.