Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.§ 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- Zeige, dass wenn x = a (b + c) + b c1 + b1 c ist, dann x1 = a1 b c + b1 c1 Bemerkung: das Glied a b könnte auch beiderseits fortgelassen werden; 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- Zeige, dass wenn x = a (b + c) + b c1 + b1 c ist, dann x1 = a1 b c + b1 c1 Bemerkung: das Glied a b könnte auch beiderseits fortgelassen werden; 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">ψ</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools ?Language Resource Switchboard?FeedbackSie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden. Kommentar zur DTA-AusgabeDieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.
|
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. |