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

γ01 = h_1 l_1 a,	γ_101 = (h + l a) + α + β + γ + δ,
γ10 = l α + n γ,	γ_110 = a + l_1 α + β + n_1 γ + δ,
γ11 = h_1 k m_1 + m_1 β,	γ_111 = (h + k m + k_1 a) + α + m β + γ + δ:
δ01 = h_1 l a,	δ_101 = (h + l_1 a) + α + β + γ + δ,
δ10 = k_1 l a,	δ_110 = (k + l_1 a) + α + β + γ + δ,
δ11 = h k + m_1 n_1 δ,	δ_111 = (h_1 + k_1) a + α + β + γ + m n δ.

Zu diesen Tafeln verdient noch angemerkt zu werden, dass die
wiederholt als Term in ihnen auftretende Aussage la bedeutet, dass
die Gebiete A und B Negationen von einander sind. Nach Th. 24₊)
und 39₊) haben wir nämlich in der That:
l a = {A B = 0} {A₁ B₁ = 0} = {A B + A₁ B₁ = 0} = {A = B₁} = {B = A₁}.

Der Beweis ihrer Formeln — soweit (unter XIII⁰) die Aussagen
linkerhand nicht unmittelbar auf solche der Tafel III⁰ ohnehin zurück-
kommen — kann geleistet werden
erstens selbständig, nach dem Schema:
x = x a + x α + x β + x γ + x δ
— wo also x die Aussage linkerhand in irgend einer zu beweisenden
Formel vorstellt — indem man eine Reihe von Hülfssätzen dazu auf-
stellt, die sich analog wie die in § 35 beweisen lassen.

Als solche seien namhaft gemacht:
XV⁰. Hülfssätze.

	m ⊆ b,	oder	m b_1 = 0,	m b = m,	m_1 b_1 = b_1,
	n ⊆ c,		n c_1 = 0,	n c = n,	n_1 c_1 = c_1,
	m ⊆ l,		m l_1 = 0,	m l = m,	m_1 l_1 = l_1,
	n ⊆ l,		n l_1 = 0,	n l = n,	n_1 l_1 = l_1;
d m ⊆ n,	oder	d m n_1 = 0, d m n = d m, d m_1 n_1 = d n_1, d_1 m n_1 = m n_1,
d n ⊆ m,		d m_1 n = 0, d m n = d n, d m_1 n_1 = d m_1, d_1 m_1 n = m_1 n,
m n ⊆ d,		d_1 m n = 0, d m n = m n, d_1 m n_1 = d_1 m, d_1 m_1 n = d_1 n,

namentlich also: m n = d m = d n = d m n, d m₁ = d n₁ = d m₁ n₁.
Sonach auch:

m f = 0	oder	m f_1 = m, m_1 f = f;	desgl.	n e = 0, n e_1 = n, n_1 e = e;
m γ = 0,		m γ_1 = m, m_1 γ = γ;		n β = 0, n β_1 = n, n_1 β = β;