Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

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

Bild:

<< vorherige Seite

nächste Seite >>

Anhang 6.

0 = x y z · phn111 (phn110 + phn101 + phn011) (phn100 + phn010 + phn001) phn000 +
+ x y z1 (phn110 + phn101 + ph011) (phn101 + phn011 + ph110) (phn100 + phn001 + ph010) (phn011 + phn110 + ph101) ·
· (phn010 + phn100 + ph001) (phn001 + phn010 + ph100) +
+ x y1 z (phn110 + phn011 + ph101) (phn101 + phn110 + ph011) (phn100 + phn010 + ph001) (phn011 + phn101 + ph110) ·
· (phn010 + phn001 + ph100) (phn001 + phn100 + ph010) +
+ x y1 z1 (phn110 + ph101 + ph011) (phn101 + ph011 + ph110) (phn100 + ph001 + ph010) (phn011 + ph110 + ph101) ·
· (phn010 + ph100 + ph001) (phn001 + ph010 + ph100) +
+ x1 y z (phn101 + phn011 + ph110) (phn011 + phn110 + ph101) (phn001 + phn010 + ph100) (phn110 + phn101 + ph011) ·
· (phn100 + phn001 + ph010) (phn010 + phn100 + ph001) +
+ x1 y z1 (phn101 + ph110 + ph011) (phn011 + ph101 + ph110) (phn001 + ph100 + ph010) (phn110 + ph011 + ph101) ·
· (phn100 + ph010 + ph001) (phn010 + ph001 + ph100) +
+ x1 y1 z (phn011 + ph110 + ph101) (phn110 + ph101 + ph011) (phn010 + ph100 + ph001) (phn101 + ph011 + ph110) ·
· (phn001 + ph010 + ph100) (phn100 + ph001 + ph010) +
+ x1 y1 z1 · ph111 (ph110 + ph101 + ph011) (ph100 + ph010 + ph001) ph000;
hierbei wurde lediglich Gebrauch gemacht von den Tautologiegesetzen 14),
dem Th. 30+) phn + ph = 1, 22+) a + 1 = 1 und 21x) a · 1 = a.

Beachtet man überdies, dass die Koeffizienten von x y z1, x y1 z und
x1 y z die nämlichen sind, desgleichen sich als einerlei herausstellen die
Koeffizienten von x y1 z1, x1 y z1 und x1 y1 z, so treten weitere Vereinfachungen
ein. In diesen Koeffizienten lassen zudem nach dem Schema:
(a1 + b + g) (a + b1 + g) (a + b + g1) = a b + a g + b g + a1 b1 g1
noch drei und drei Faktoren sich ausmultipliziren, sodass die Resultante
sich am einfachsten darstellt als:
0 = x y z phn111 (phn110 + phn101 + phn011) (phn100 + phn010 + phn001) phn000 +
+ (x1 y z + x y1 z + x y z1) (phn110 phn011 + phn110 phn101 + phn101 phn011 + ph110 ph101 ph011) ·
· (phn100 phn001 + phn100 phn010 + phn010 phn001 + ph100 ph010 ph001) +
+ (x y1 z1 + x1 y z1 + x1 y1 z) (ph110 ph011 + ph110 ph101 + ph101 ph011 + phn110 phn101 phn011) ·
· (ph100 ph001 + ph100 ph010 + ph010 ph001 + phn100 phn010 phn001) + ·
+ x1 y1 z1 ph111 (ph110 + ph101 + ph011) (ph100 + ph010 + ph001) ph000 ·

Die Symmetrie derselben in Bezug auf x, y, z ist nun ersichtlich.

Ersetzen wir die Namen der Argumente a, b, c durch die griechischen
Buchstaben a, b, g um die lateinischen Buchstaben frei zu bekommen für
andre Zwecke, so empfiehlt es sich noch, die zwar ausdrucksvolle, doch
etwas schwerfällige Bezeichnung der bisherigen Koeffizienten von ph durch
die darunter gesetzten Zeichen zu ersetzen:

Anhang 6.

0 = x y z · φ̄111 (φ̄110 + φ̄101 + φ̄011) (φ̄100 + φ̄010 + φ̄001) φ̄000 +
+ x y z1 (φ̄110 + φ̄101 + φ011) (φ̄101 + φ̄011 + φ110) (φ̄100 + φ̄001 + φ010) (φ̄011 + φ̄110 + φ101) ·
· (φ̄010 + φ̄100 + φ001) (φ̄001 + φ̄010 + φ100) +
+ x y1 z (φ̄110 + φ̄011 + φ101) (φ̄101 + φ̄110 + φ011) (φ̄100 + φ̄010 + φ001) (φ̄011 + φ̄101 + φ110) ·
· (φ̄010 + φ̄001 + φ100) (φ̄001 + φ̄100 + φ010) +
+ x y1 z1 (φ̄110 + φ101 + φ011) (φ̄101 + φ011 + φ110) (φ̄100 + φ001 + φ010) (φ̄011 + φ110 + φ101) ·
· (φ̄010 + φ100 + φ001) (φ̄001 + φ010 + φ100) +
+ x1 y z (φ̄101 + φ̄011 + φ110) (φ̄011 + φ̄110 + φ101) (φ̄001 + φ̄010 + φ100) (φ̄110 + φ̄101 + φ011) ·
· (φ̄100 + φ̄001 + φ010) (φ̄010 + φ̄100 + φ001) +
+ x1 y z1 (φ̄101 + φ110 + φ011) (φ̄011 + φ101 + φ110) (φ̄001 + φ100 + φ010) (φ̄110 + φ011 + φ101) ·
· (φ̄100 + φ010 + φ001) (φ̄010 + φ001 + φ100) +
+ x1 y1 z (φ̄011 + φ110 + φ101) (φ̄110 + φ101 + φ011) (φ̄010 + φ100 + φ001) (φ̄101 + φ011 + φ110) ·
· (φ̄001 + φ010 + φ100) (φ̄100 + φ001 + φ010) +
+ x1 y1 z1 · φ111 (φ110 + φ101 + φ011) (φ100 + φ010 + φ001) φ000;
hierbei wurde lediglich Gebrauch gemacht von den Tautologiegesetzen 14),
dem Th. 30+) φ̄ + φ = 1, 22+) a + 1 = 1 und 21×) a · 1 = a.

Beachtet man überdies, dass die Koeffizienten von x y z1, x y1 z und
x1 y z die nämlichen sind, desgleichen sich als einerlei herausstellen die
Koeffizienten von x y1 z1, x1 y z1 und x1 y1 z, so treten weitere Vereinfachungen
ein. In diesen Koeffizienten lassen zudem nach dem Schema:
(α1 + β + γ) (α + β1 + γ) (α + β + γ1) = α β + α γ + β γ + α1 β1 γ1
noch drei und drei Faktoren sich ausmultipliziren, sodass die Resultante
sich am einfachsten darstellt als:
0 = x y z φ̄111 (φ̄110 + φ̄101 + φ̄011) (φ̄100 + φ̄010 + φ̄001) φ̄000 +
+ (x1 y z + x y1 z + x y z1) (φ̄110 φ̄011 + φ̄110 φ̄101 + φ̄101 φ̄011 + φ110 φ101 φ011) ·
· (φ̄100 φ̄001 + φ̄100 φ̄010 + φ̄010 φ̄001 + φ100 φ010 φ001) +
+ (x y1 z1 + x1 y z1 + x1 y1 z) (φ110 φ011 + φ110 φ101 + φ101 φ011 + φ̄110 φ̄101 φ̄011) ·
· (φ100 φ001 + φ100 φ010 + φ010 φ001 + φ̄100 φ̄010 φ̄001) + ·
+ x1 y1 z1 φ111 (φ110 + φ101 + φ011) (φ100 + φ010 + φ001) φ000 ·

Die Symmetrie derselben in Bezug auf x, y, z ist nun ersichtlich.

Ersetzen wir die Namen der Argumente a, b, c durch die griechischen
Buchstaben α, β, γ um die lateinischen Buchstaben frei zu bekommen für
andre Zwecke, so empfiehlt es sich noch, die zwar ausdrucksvolle, doch
etwas schwerfällige Bezeichnung der bisherigen Koeffizienten von φ durch
die darunter gesetzten Zeichen zu ersetzen:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0718" n="698"/><fw place="top" type="header">Anhang 6.</fw><lb/>
0 = <hi rendition="#i">x y z</hi> · <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">111</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi>) <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">000</hi> +<lb/>
+ <hi rendition="#i">x y z</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi>) +</hi><lb/>
+ <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi>) +</hi><lb/>
+ <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi>) +</hi><lb/>
+ <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) +</hi><lb/>
+ <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi>) +</hi><lb/>
+ <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi>) +</hi><lb/>
+ <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> · <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">111</hi> (<hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">000</hi>;<lb/>
hierbei wurde lediglich Gebrauch gemacht von den Tautologiegesetzen 14),<lb/>
dem Th. 30<hi rendition="#sub">+</hi>) <hi rendition="#i">&#x03C6;&#x0304;</hi> + <hi rendition="#i">&#x03C6;</hi> = 1, 22<hi rendition="#sub">+</hi>) <hi rendition="#i">a</hi> + 1 = 1 und 21<hi rendition="#sub">×</hi>) <hi rendition="#i">a</hi> · 1 = <hi rendition="#i">a</hi>.</p><lb/>
          <p>Beachtet man überdies, dass die Koeffizienten von <hi rendition="#i">x y z</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi> und<lb/><hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi> die nämlichen sind, desgleichen sich als einerlei herausstellen die<lb/>
Koeffizienten von <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi>, so treten weitere Vereinfachungen<lb/>
ein. In diesen Koeffizienten lassen zudem nach dem Schema:<lb/><hi rendition="#c">(<hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">&#x03B2;</hi> + <hi rendition="#i">&#x03B3;</hi>) (<hi rendition="#i">&#x03B1;</hi> + <hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">&#x03B3;</hi>) (<hi rendition="#i">&#x03B1;</hi> + <hi rendition="#i">&#x03B2;</hi> + <hi rendition="#i">&#x03B3;</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">&#x03B1; &#x03B2;</hi> + <hi rendition="#i">&#x03B1; &#x03B3;</hi> + <hi rendition="#i">&#x03B2; &#x03B3;</hi> + <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B3;</hi><hi rendition="#sub">1</hi></hi><lb/>
noch drei und drei Faktoren sich ausmultipliziren, sodass die Resultante<lb/>
sich am einfachsten darstellt als:<lb/>
0 = <hi rendition="#i">x y z &#x03C6;&#x0304;</hi><hi rendition="#sub">111</hi> (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi>) <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">000</hi> +<lb/>
+ (<hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi> + <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi> + <hi rendition="#i">x y z</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) +</hi><lb/>
+ (<hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi>) (<hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">110</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">101</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">011</hi>) ·<lb/><hi rendition="#et">· (<hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi> + <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">100</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">010</hi> <hi rendition="#i">&#x03C6;&#x0304;</hi><hi rendition="#sub">001</hi>) + ·</hi><lb/>
+ <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">111</hi> (<hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">110</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">101</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">011</hi>) (<hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">100</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">010</hi> + <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">001</hi>) <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">000</hi> ·</p><lb/>
          <p>Die Symmetrie derselben in Bezug auf <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi> ist nun ersichtlich.</p><lb/>
          <p>Ersetzen wir die Namen der Argumente <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> durch die griechischen<lb/>
Buchstaben <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi> um die lateinischen Buchstaben frei zu bekommen für<lb/>
andre Zwecke, so empfiehlt es sich noch, die zwar ausdrucksvolle, doch<lb/>
etwas schwerfällige Bezeichnung der bisherigen Koeffizienten von <hi rendition="#i">&#x03C6;</hi> durch<lb/>
die darunter gesetzten Zeichen zu ersetzen:<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>

[698/0718] Anhang 6. 0 = x y z · φ̄111 (φ̄110 + φ̄101 + φ̄011) (φ̄100 + φ̄010 + φ̄001) φ̄000 + + x y z1 (φ̄110 + φ̄101 + φ011) (φ̄101 + φ̄011 + φ110) (φ̄100 + φ̄001 + φ010) (φ̄011 + φ̄110 + φ101) · · (φ̄010 + φ̄100 + φ001) (φ̄001 + φ̄010 + φ100) + + x y1 z (φ̄110 + φ̄011 + φ101) (φ̄101 + φ̄110 + φ011) (φ̄100 + φ̄010 + φ001) (φ̄011 + φ̄101 + φ110) · · (φ̄010 + φ̄001 + φ100) (φ̄001 + φ̄100 + φ010) + + x y1 z1 (φ̄110 + φ101 + φ011) (φ̄101 + φ011 + φ110) (φ̄100 + φ001 + φ010) (φ̄011 + φ110 + φ101) · · (φ̄010 + φ100 + φ001) (φ̄001 + φ010 + φ100) + + x1 y z (φ̄101 + φ̄011 + φ110) (φ̄011 + φ̄110 + φ101) (φ̄001 + φ̄010 + φ100) (φ̄110 + φ̄101 + φ011) · · (φ̄100 + φ̄001 + φ010) (φ̄010 + φ̄100 + φ001) + + x1 y z1 (φ̄101 + φ110 + φ011) (φ̄011 + φ101 + φ110) (φ̄001 + φ100 + φ010) (φ̄110 + φ011 + φ101) · · (φ̄100 + φ010 + φ001) (φ̄010 + φ001 + φ100) + + x1 y1 z (φ̄011 + φ110 + φ101) (φ̄110 + φ101 + φ011) (φ̄010 + φ100 + φ001) (φ̄101 + φ011 + φ110) · · (φ̄001 + φ010 + φ100) (φ̄100 + φ001 + φ010) + + x1 y1 z1 · φ111 (φ110 + φ101 + φ011) (φ100 + φ010 + φ001) φ000; hierbei wurde lediglich Gebrauch gemacht von den Tautologiegesetzen 14), dem Th. 30+) φ̄ + φ = 1, 22+) a + 1 = 1 und 21×) a · 1 = a. Beachtet man überdies, dass die Koeffizienten von x y z1, x y1 z und x1 y z die nämlichen sind, desgleichen sich als einerlei herausstellen die Koeffizienten von x y1 z1, x1 y z1 und x1 y1 z, so treten weitere Vereinfachungen ein. In diesen Koeffizienten lassen zudem nach dem Schema: (α1 + β + γ) (α + β1 + γ) (α + β + γ1) = α β + α γ + β γ + α1 β1 γ1 noch drei und drei Faktoren sich ausmultipliziren, sodass die Resultante sich am einfachsten darstellt als: 0 = x y z φ̄111 (φ̄110 + φ̄101 + φ̄011) (φ̄100 + φ̄010 + φ̄001) φ̄000 + + (x1 y z + x y1 z + x y z1) (φ̄110 φ̄011 + φ̄110 φ̄101 + φ̄101 φ̄011 + φ110 φ101 φ011) · · (φ̄100 φ̄001 + φ̄100 φ̄010 + φ̄010 φ̄001 + φ100 φ010 φ001) + + (x y1 z1 + x1 y z1 + x1 y1 z) (φ110 φ011 + φ110 φ101 + φ101 φ011 + φ̄110 φ̄101 φ̄011) · · (φ100 φ001 + φ100 φ010 + φ010 φ001 + φ̄100 φ̄010 φ̄001) + · + x1 y1 z1 φ111 (φ110 + φ101 + φ011) (φ100 + φ010 + φ001) φ000 · Die Symmetrie derselben in Bezug auf x, y, z ist nun ersichtlich. Ersetzen wir die Namen der Argumente a, b, c durch die griechischen Buchstaben α, β, γ um die lateinischen Buchstaben frei zu bekommen für andre Zwecke, so empfiehlt es sich noch, die zwar ausdrucksvolle, doch etwas schwerfällige Bezeichnung der bisherigen Koeffizienten von φ durch die darunter gesetzten Zeichen zu ersetzen:

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ^?

Language Resource Switchboard^?

Resource/URL übermitteln

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.

Ansicht auf Standard zurückstellen

URL zu diesem Werk:	https://www.deutschestextarchiv.de/schroeder_logik01_1890
URL zu dieser Seite:	https://www.deutschestextarchiv.de/schroeder_logik01_1890/718
Zitationshilfe:	Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 698. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/718>, abgerufen am 26.04.2024.

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.