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

§ 39. Die denkbaren Umfangsbeziehungen überhaupt.

a c b l₁ = a c b, a c b₁ l = a c l,
a c₁ b l = a b l, a₁ c b l = c b l,
wie man leicht nach dem Vorbild:
a₁ c b l = 0 + a₁ c b l = a c b l + a₁ c b l = (a + a₁) c b l = i · c b l = c b l
auch für die übrigen beweist.

Demnach fallen nur noch in Betracht die 11 Quaternen:
z)

a c b_1 l_1		a_1 c b_1 l_1
a c_1 b l_1	a_1 c b l_1	a_1 c_1 b l_1
a c_1 b_1 l	a_1 c b_1 l	a_1 c_1 b_1 l
a c_1 b_1 l_1	a_1 c_1 b l	a_1 c_1 b_1 l_1.

Mehr wie vier Faktoren, entnommen aus der Gruppe der acht
primitiven Propositionen: a, c, b, l, a₁, c₁, b₁, l₁, können nicht zu einem
Produkt zusammengefasst werden, ohne dass sich einer von den vier
Buchstaben zweimal vertreten findet, infolge welchen Umstandes aber,
wie vorhin ausgeführt, das Produkt dann verschwinden müsste.

Wir haben also die möglichen Produkte von De Morgan’schen
Propositionen mit Vorstehendem erschöpft.

Unter x), y) und z) ergaben sich 14 + 16 + 11 = 41 neue Pro-
positionen, die wir als „abgeleitete Beziehungen“ zu bezeichnen haben
werden. Sind diese nun aber auch wirklich zulässig, und sind sie
sämtlich unter sich und von den früheren verschieden?

Auf diese Fragen erlangen wir Antwort, indem wir zuvörderst
die hinzugekommenen Produkte sämtlich in die 5 Elementarfächer
zerfällen. Zu dem Ende braucht man nur die Tafel zu benutzen,
welche gewisse Teile aus den Tafeln III⁰ und XIII⁰ hervorhebend
zusammenfasst:
XVIII⁰. Zerfällung der Unionen von De Morgan’s
Propositionen.
a = a, c = h + γ + δ, b = k + β + δ, l = l a + l a + m β + n γ + m n δ,
a₁ = α + β + γ + δ, c₁ = h₁ a + α + β, b₁ = k₁ a + α + γ, l₁ = l₁ a + l₁ a + m₁ β + n₁ γ + m₁ n₁ δ.
[Man beachte hiezu, dass h, = h a, und k, = k a, in das Fach a
fallen, und dass:
i = a + α + β + γ + δ.]
Die Anwendung dieser Tafeln wird eine blosse Multiplikationsübung
sein, erleichtert durch den Prozess des Übereinanderschiebens.