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

§ 26. Das Ausmusterungsverfahren von Jevons.

[Tabelle]

— indem wir auch den Ausdruck a (b + e) = a (b e₁ + b₁ e + b e) nach
den drei in ihm vorkommenden Symbolen entwickelten (was strenge
genommen nicht nötig: man könnte auch mit a b + a e schon die
Überlegungen anstellen). —

Da fünf Symbole a, b, c, d, e in Frage kommen, so haben wir
2⁵ = 32 Kombinationen durchzugehen, die wir nachstehend geordnet
und numerirt untereinander stellen.

Die links notirten Chiffren α), β), γ) von Prämissen erklären die
danebenstehende Kombination als mit diesen übereinstimmende, als
eventuell zulässig, die rechts notirten als ihnen widersprechende unzu-
lässige, dergestalt, dass wo Erlaubniss (im vorerwähnten Sinne) und
Verbot zusammentreffen, das Verbot zu gelten hat. Die Kombina-
tionen, bei denen keine Prämissenchiffre angemerkt ist, sind die zu
allen Prämissen indifferenten.
Kombinationen.

1)	a b c d e — γ_3')	17)	a_1 b c d e
2)	β) a b c d e_1 — γ_1')	18)	a_1 b c d e_1
3)	γ_3') γ_1'') a b c d_1 e	19)	a_1 b c d_1 e — γ_1'')
4)	γ_1') γ_1'') a b c d_1 e_1	20)	a_1 b c d_1 e_1 — γ_1'')
5)	γ_3') γ_2'') a b c_1 d e	21)	a_1 b c_1 d e — α) γ_2'')
6)	γ_1') γ_2'') a b c_1 d e_1 — β)	22)	a_1 b c_1 d e_1 — α) γ_2'')
7)	a b c_1 d_1 c — γ_3')	23)	α) a_1 b c_1 d_1 e
8)	a b c_1 d_1 e_1 — γ_1')	24)	a_1 b c_1 d_1 e_1 — α)
9)	a b_1 c d e — γ_2')	25)	a_1 b_1 c d e
10)	a b_1 c d e_1 — β)	26)	a_1 b_1 c d e_1
11)	γ_2') γ_1'') a b_1 c d_1 e	27)	a_1 b_1 c d_1 e — γ_1'')
12)	a b_1 c d_1 e_1 — γ_1'')	28)	a_1 b_1 c d_1 e_1 — γ_1'')
13)	γ_2') γ_2'') a b_1 c_1 d e	29)	α) a_1 b_1 c_1 d e — γ_2'')
14)	β) a b_1 c_1 d e_1 — γ_2'')	30)	a_1 b_1 c_1 d e_1 — α) γ_2'')
15)	a b_1 c_1 d_1 e — γ_2')	31)	a_1 b_1 c_1 d_1 e — α)
16)	a b_1 c_1 d_1 e_1	32)	a_1 b_1 c_1 d_1 e_1 — α)

36*