Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Siebente Vorlesung.

x = (ā ɟ 1')a + (a ; 0' ɟ 0){(x̄ ɟ 1') ; 1 + x} = (x̄ ɟ 1')a + (x ; 0' ɟ 0){(x̄ ɟ 1') ; 1 + x}
das heisst:
x = (x̄ ɟ 1')a + (x ; 0' ɟ 0)x
sein muss. Dies geht am bequemsten schematisch.

Sollte für a = 1αβγ0 überhaupt x ; 0' = a ; 0' sein, so musste x die
Form haben: x = 1'α'β'γ0, wo die Zeilenkategorien γ, 0 von x mit denen
γ, 0 von a bezüglich identisch sind, dagegen von den Zeilenkategorien 1'α'β'
des x nur erforderlich ist, dass sie zusammen dieselben Zeilen erfüllen wie
die 1αβ von a. Nun wird:
x ; 0' ɟ 0 = 1'1'1'00 = 11100, x̄ ɟ 1' = 000γ1 = 0'0'0'γ1
also in der That:
(x̄ ɟ 1')a + (x ; 0' ɟ 0)x = 0'0'0'γ0 + 1'α'β'00 = 1'α'β'γ0 = x, q. e. d.
Stellt x = f(u) die allgemeine Wurzel vor, so haben wir also sicher auch
die Adventivforderung erfüllt: (x ; 0' = a ; 0') = {f(x) = x}.

Nunmehr ist noch die erste Gleichung 25) zu rechtfertigen. Man
erhält die in ihr angeführte Resultante nach dem allgemeinen Schema 2).
Mit Rücksicht auf diese lässt sich die aufzulösende Gleichung schreiben:
x ; 0' = (a ɟ 1') ; 0', woraus erhellt, dass man den Ausdruck für die all-
gemeine Wurzel bekommen wird, indem man in dem der ersten Gleichung 26)
das a durch a ɟ 1' ersetzt. So ergibt sich zunächst:
x = (ā ; 0' ɟ 1')(a ɟ 1') + {(a ɟ 1') ; 0' ɟ 0}y,
wenn wir für den letzten nur u enthaltenden Faktor die Abkürzung y wie
in 27) benutzen.

Nun ist in fünfziffrigem Zeilenschema leicht nachzurechnen, dass für
jedes a als Formeln gelten:
(ā ; 0' ɟ 1')(a ɟ 1') = (a ɟ 1')ā, (a ɟ 1') ; 0' ɟ 0 = a ɟ 0,
wovon wir letzteres schon unter 21) des § 15 gebucht haben. Folglich
entsteht:
x = (a ɟ 1')ā + (a ɟ 0)y
wie in 25) angegeben. —

Eine Formel für die allgemeine Wurzel x der Gleichung x ; b = a ; b,
welche wenigstens für b = 1, 0, 1', 0' gültig unsre einschlägigen Ergebnisse
24) bis 26) empirisch zusammenfasst, würde sein:
x = (ā ɟ b̄) ; b̆ ; b · a + (a ; b ɟ b̄̆ ɟ b̄){(ū ɟ b̄) ; b̆ ; b + u}
— wie im letzten Falle aufgrund des zeilenrechnerisch zu erhärtenden
(ā ɟ 1') ; 1 · a = (ā ɟ 1')a zu sehn ist. Allgemein aber bewahrheitet sich
diese Formel keineswegs!

Letztres erkennt man am schnellsten etwa so, dass andernfalles auch
für u = 1 sicher sein müsste: (a ; b ɟ b̄̆ ɟ b̄) ; b ⋹ a ; b, das heisst:
a ; b ɟ b̄̆ ɟ b̄ ⋹ a ; b ɟ b̄̆,
ganz allgemein.