Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 18. Übungsanfgaben.
(a b + a1 b1) (b c + b1 c1) (c a + c1 a1) = a b c + a1 b1 c1;
(b c + b1 c1) (a b1 + a1 b) (a c1 + a1 c) = a1 b c + a b1 c1;
(a1 b c + a b1 c + a b c1) (a1 b1 + a1 c1 + b1 c1) = 0;
a b + a1 b1 + a1 c1 + b1 c1 = c1 + a b + a1 b1;
a1 + b1 + a (b c1 + b1 c) = a1 + b1 + c1 = a1 b c + a b1 c + a b c1 + a1 b1 + a1 c1 + b1 c1;
(a + b1 + c1) (a b + a c + b c) = a (b + c); a (b + c) + b (a c1 + a1 c) = a b + a c + b c;
a (b + c) + c1 + a b + a1 b1 = a + b1 + c1 = a (b c1 + b1 c) + c1 + a b + a1 b1;
a (b + c) + a1 b1 + a1 c1 + b1 c1 = a + b1 + c1 = a b c + a1 b1 + a1 c1 + b1 c1 + a (b c1 + b1 c);
a1 (b c1 + b1 c) + a b + a c + b c = b + c; a b + a c + b c + a1 b1 + a1 c1 + b1 c1 = 1;
(a1 + c1 + e1) (b1 + c1 + e1) (b1 + d1 + e1) (b1 + d1 + f1) (a c d f = a b1 c d e1 f,

Anleitung: man lasse in den Summen die Glieder fort, deren Nega-
tion als Faktor aussen steht, und erhält: e1 (b1 + e1) (b1 + e1) b1 a c d f, etc.;
(a1 + b + c) (a + b1 + c) (a + b + c1) = a b + a c + b c + a1 b1 c1;
(a1 b1 + b c1)1 = a b1 + b c; {(a1 x + b1 x1) c}1 = c1 + a x + b x1.

Zeige, dass wenn x = a (b + c) + b c1 + b1 c ist, dann x1 = a1 b c + b1 c1
sein muss. Ebenso dass wenn bezüglich:
x = a1 b c + a (b + c), b c + c a + a b, b1 (c1 + a) + c1 a, a (b c1 + b1 c) + b1 c1,
so
x1 = a b1 c1 + a1 (b1 + c1), b1 c1 + c1 a1 + a1 b1, b (c + a1) + c a1, a1 (b1 c + b c1) + b c;
a b1 + b1 c + a b c1 = a c1 + b1 c.
ps) a1 b1 + a c + b c = c + a1 b1; (a + b) c1 + (c + a1 b1) a1 + b c = 1;
a1 b c + a b + a c + b1 c = a b + c;
a1 b + a c1 + a1 c + b c + a b1 = a + b + c,
Anleitung: a1 (b + c) + a (b1 + c1) + b c = a1 (b + c) + a (b c)1 + b c =
= a1 (b + c) + a + b c = b + c + a + b c = etc.;
a b + b c1 + c d + b d1 = b + c d,
Anleitung: a b + b (c d)1 + c d = a b + b + c d = etc.;
a + b + c1 + a1 b1 c = 1,
Anleitung: Nach Th. 33+) Zusatz ist die linke Seite
= a + b + c1 + a1 b1 = a + b + c1 + a1 = 1 + b + c1 = 1,

oder auch nach Th. 36+) und 30+), weil a1 b1 c = (a + b + c1)1;
a b + a1 c + b c + c d1 + a b1 c d = a b + c,

Bemerkung: das Glied a b könnte auch beiderseits fortgelassen werden;
a (c d + a b c d1 + b1 c d1 + a c1 + a b1 d) = a;
(a b1 c1 + b c) (b c1 a1 + c a) (c a1 b1 + a b) = a b c;

Schröder, Algebra der Logik. 25

§ 18. Übungsanfgaben.
(a b + a1 b1) (b c + b1 c1) (c a + c1 a1) = a b c + a1 b1 c1;
(b c + b1 c1) (a b1 + a1 b) (a c1 + a1 c) = a1 b c + a b1 c1;
(a1 b c + a b1 c + a b c1) (a1 b1 + a1 c1 + b1 c1) = 0;
a b + a1 b1 + a1 c1 + b1 c1 = c1 + a b + a1 b1;
a1 + b1 + a (b c1 + b1 c) = a1 + b1 + c1 = a1 b c + a b1 c + a b c1 + a1 b1 + a1 c1 + b1 c1;
(a + b1 + c1) (a b + a c + b c) = a (b + c); a (b + c) + b (a c1 + a1 c) = a b + a c + b c;
a (b + c) + c1 + a b + a1 b1 = a + b1 + c1 = a (b c1 + b1 c) + c1 + a b + a1 b1;
a (b + c) + a1 b1 + a1 c1 + b1 c1 = a + b1 + c1 = a b c + a1 b1 + a1 c1 + b1 c1 + a (b c1 + b1 c);
a1 (b c1 + b1 c) + a b + a c + b c = b + c; a b + a c + b c + a1 b1 + a1 c1 + b1 c1 = 1;
(a1 + c1 + e1) (b1 + c1 + e1) (b1 + d1 + e1) (b1 + d1 + f1) (a c d f = a b1 c d e1 f,

Anleitung: man lasse in den Summen die Glieder fort, deren Nega-
tion als Faktor aussen steht, und erhält: e1 (b1 + e1) (b1 + e1) b1 a c d f, etc.;
(a1 + b + c) (a + b1 + c) (a + b + c1) = a b + a c + b c + a1 b1 c1;
(a1 b1 + b c1)1 = a b1 + b c; {(a1 x + b1 x1) c}1 = c1 + a x + b x1.

Zeige, dass wenn x = a (b + c) + b c1 + b1 c ist, dann x1 = a1 b c + b1 c1
sein muss. Ebenso dass wenn bezüglich:
x = a1 b c + a (b + c), b c + c a + a b, b1 (c1 + a) + c1 a, a (b c1 + b1 c) + b1 c1,
so
x1 = a b1 c1 + a1 (b1 + c1), b1 c1 + c1 a1 + a1 b1, b (c + a1) + c a1, a1 (b1 c + b c1) + b c;
a b1 + b1 c + a b c1 = a c1 + b1 c.
ψ) a1 b1 + a c + b c = c + a1 b1; (a + b) c1 + (c + a1 b1) a1 + b c = 1;
a1 b c + a b + a c + b1 c = a b + c;
a1 b + a c1 + a1 c + b c + a b1 = a + b + c,
Anleitung: a1 (b + c) + a (b1 + c1) + b c = a1 (b + c) + a (b c)1 + b c =
= a1 (b + c) + a + b c = b + c + a + b c = etc.;
a b + b c1 + c d + b d1 = b + c d,
Anleitung: a b + b (c d)1 + c d = a b + b + c d = etc.;
a + b + c1 + a1 b1 c = 1,
Anleitung: Nach Th. 33+) Zusatz ist die linke Seite
= a + b + c1 + a1 b1 = a + b + c1 + a1 = 1 + b + c1 = 1,

oder auch nach Th. 36+) und 30+), weil a1 b1 c = (a + b + c1)1;
a b + a1 c + b c + c d1 + a b1 c d = a b + c,

Bemerkung: das Glied a b könnte auch beiderseits fortgelassen werden;
a (c d + a b c d1 + b1 c d1 + a c1 + a b1 d) = a;
(a b1 c1 + b c) (b c1 a1 + c a) (c a1 b1 + a b) = a b c;

Schröder, Algebra der Logik. 25
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0405" n="385"/><fw place="top" type="header">§ 18. Übungsanfgaben.</fw><lb/>
(<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">c a</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>;<lb/><hi rendition="#et">(<hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi>) (<hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>;</hi><lb/>
(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) = 0;<lb/><hi rendition="#et"><hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>;</hi><lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>;<lb/>
(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi>) = <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>); <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">b</hi> (<hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) = <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi>;<lb/><hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>;<lb/><hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>);<lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) + <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> = <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>; <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = 1;<lb/>
(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">f</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a c d f</hi> = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c d e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi>,</p><lb/>
          <p>Anleitung: man lasse in den Summen die Glieder fort, deren Nega-<lb/>
tion als Faktor aussen steht, und erhält: <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a c d f</hi>, etc.;<lb/><hi rendition="#c">(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>;<lb/>
(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi>; {(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">c</hi>}<hi rendition="#sub">1</hi> = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi>.</hi></p><lb/>
          <p>Zeige, dass wenn <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> ist, dann <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi><lb/>
sein muss. Ebenso dass wenn bezüglich:<lb/><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>), <hi rendition="#i">b c</hi> + <hi rendition="#i">c a</hi> + <hi rendition="#i">a b</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>) + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>,<lb/>
so<lb/><hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>), <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">c a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">b c</hi>;<lb/><hi rendition="#c"><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>.<lb/><hi rendition="#i">&#x03C8;</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> = <hi rendition="#i">c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>; (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi> = 1;<lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">c</hi>;<lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>,<lb/>
Anleitung: <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">b c</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi>)<hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi> =<lb/>
= <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">a</hi> + <hi rendition="#i">b c</hi> = <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">a</hi> + <hi rendition="#i">b c</hi> = etc.;<lb/><hi rendition="#i">a b</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c d</hi> + <hi rendition="#i">b d</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">b</hi> + <hi rendition="#i">c d</hi>,<lb/>
Anleitung: <hi rendition="#i">a b</hi> + <hi rendition="#i">b</hi> (<hi rendition="#i">c d</hi>)<hi rendition="#sub">1</hi> + <hi rendition="#i">c d</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c d</hi> = etc.;<lb/><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> = 1,<lb/>
Anleitung: Nach Th. 33<hi rendition="#sub">+</hi>) Zusatz ist die linke Seite<lb/>
= <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = 1 + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = 1,</hi><lb/>
oder auch nach Th. 36<hi rendition="#sub">+</hi>) und 30<hi rendition="#sub">+</hi>), weil <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi>;<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c d</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">c</hi>,</hi></p><lb/>
          <p>Bemerkung: das Glied <hi rendition="#i">a b</hi> könnte auch beiderseits fortgelassen werden;<lb/><hi rendition="#i">a</hi> (<hi rendition="#i">c d</hi> + <hi rendition="#i">a b c d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>) = <hi rendition="#i">a</hi>;<lb/>
(<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi>) (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c a</hi>) (<hi rendition="#i">c a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi>) = <hi rendition="#i">a b c</hi>;<lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 25</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[385/0405] § 18. Übungsanfgaben. (a b + a1 b1) (b c + b1 c1) (c a + c1 a1) = a b c + a1 b1 c1; (b c + b1 c1) (a b1 + a1 b) (a c1 + a1 c) = a1 b c + a b1 c1; (a1 b c + a b1 c + a b c1) (a1 b1 + a1 c1 + b1 c1) = 0; a b + a1 b1 + a1 c1 + b1 c1 = c1 + a b + a1 b1; a1 + b1 + a (b c1 + b1 c) = a1 + b1 + c1 = a1 b c + a b1 c + a b c1 + a1 b1 + a1 c1 + b1 c1; (a + b1 + c1) (a b + a c + b c) = a (b + c); a (b + c) + b (a c1 + a1 c) = a b + a c + b c; a (b + c) + c1 + a b + a1 b1 = a + b1 + c1 = a (b c1 + b1 c) + c1 + a b + a1 b1; a (b + c) + a1 b1 + a1 c1 + b1 c1 = a + b1 + c1 = a b c + a1 b1 + a1 c1 + b1 c1 + a (b c1 + b1 c); a1 (b c1 + b1 c) + a b + a c + b c = b + c; a b + a c + b c + a1 b1 + a1 c1 + b1 c1 = 1; (a1 + c1 + e1) (b1 + c1 + e1) (b1 + d1 + e1) (b1 + d1 + f1) (a c d f = a b1 c d e1 f, Anleitung: man lasse in den Summen die Glieder fort, deren Nega- tion als Faktor aussen steht, und erhält: e1 (b1 + e1) (b1 + e1) b1 a c d f, etc.; (a1 + b + c) (a + b1 + c) (a + b + c1) = a b + a c + b c + a1 b1 c1; (a1 b1 + b c1)1 = a b1 + b c; {(a1 x + b1 x1) c}1 = c1 + a x + b x1. Zeige, dass wenn x = a (b + c) + b c1 + b1 c ist, dann x1 = a1 b c + b1 c1 sein muss. Ebenso dass wenn bezüglich: x = a1 b c + a (b + c), b c + c a + a b, b1 (c1 + a) + c1 a, a (b c1 + b1 c) + b1 c1, so x1 = a b1 c1 + a1 (b1 + c1), b1 c1 + c1 a1 + a1 b1, b (c + a1) + c a1, a1 (b1 c + b c1) + b c; a b1 + b1 c + a b c1 = a c1 + b1 c. ψ) a1 b1 + a c + b c = c + a1 b1; (a + b) c1 + (c + a1 b1) a1 + b c = 1; a1 b c + a b + a c + b1 c = a b + c; a1 b + a c1 + a1 c + b c + a b1 = a + b + c, Anleitung: a1 (b + c) + a (b1 + c1) + b c = a1 (b + c) + a (b c)1 + b c = = a1 (b + c) + a + b c = b + c + a + b c = etc.; a b + b c1 + c d + b d1 = b + c d, Anleitung: a b + b (c d)1 + c d = a b + b + c d = etc.; a + b + c1 + a1 b1 c = 1, Anleitung: Nach Th. 33+) Zusatz ist die linke Seite = a + b + c1 + a1 b1 = a + b + c1 + a1 = 1 + b + c1 = 1, oder auch nach Th. 36+) und 30+), weil a1 b1 c = (a + b + c1)1; a b + a1 c + b c + c d1 + a b1 c d = a b + c, Bemerkung: das Glied a b könnte auch beiderseits fortgelassen werden; a (c d + a b c d1 + b1 c d1 + a c1 + a b1 d) = a; (a b1 c1 + b c) (b c1 a1 + c a) (c a1 b1 + a b) = a b c; Schröder, Algebra der Logik. 25

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

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/405
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 385. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/405>, abgerufen am 22.11.2024.