![Page 1: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/1.jpg)
Boole’sche Algebra
George Boole 1815 - 1864
1
![Page 2: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/2.jpg)
© 2008, H. SchauerUniversity of Zurich
Ausgang yohne Spannung
Schalter a offen
+
a=0
y=0
2
2
![Page 3: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/3.jpg)
© 2008, H. SchauerUniversity of Zurich
Ausgang yunter Spannung
Schalter a geschlossen
+
a=1
y=1
3
3
![Page 4: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/4.jpg)
© 2008, H. SchauerUniversity of Zurich
Ausgang yohne Spannung
Schalter a offen
Schalter b offen
+
b=0
y=0
a=0
4
4
![Page 5: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/5.jpg)
© 2008, H. SchauerUniversity of Zurich
Ausgang yohne Spannung
Schalter a offen
Schalter b geschlossen
+
b=1
y=0
a=0
5
5
![Page 6: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/6.jpg)
© 2008, H. SchauerUniversity of Zurich
Ausgang yohne Spannung
Schalter a geschlossen
Schalter b offen
+
b=0
y=0
a=1
6
6
![Page 7: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/7.jpg)
© 2008, H. SchauerUniversity of Zurich
Ausgang yunter Spannung
Schalter a geschlossen
Schalter b geschlossen
+
b=1
y=1
a=1
7
7
![Page 8: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/8.jpg)
© 2008, H. SchauerUniversity of Zurich
y = a ∧ b
+
b
y
a
a b y0 00 11 01 1
0001
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
8
Konjunktion (and)
8
![Page 9: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/9.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
9
a b y0 00 11 01 1
0001
Konjunktion (and)
y = a ∧ b
9
![Page 10: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/10.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
10
a b y0 00 11 01 1
0001
Konjunktion (and)
y = a ∧ b
10
![Page 11: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/11.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
11
a b y0 00 11 01 1
0001
Konjunktion (and)
y = a ∧ b
11
![Page 12: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/12.jpg)
© 2008, H. SchauerUniversity of Zurich
+
y
x
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
12
a b y0 00 11 01 1
0001
y = a ∧ b
Konjunktion (and)
12
![Page 13: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/13.jpg)
© 2008, H. SchauerUniversity of Zurich
+
y
x
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
13
a b y0 00 11 01 1
0001
Konjunktion (and)
y = a ∧ b
13
![Page 14: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/14.jpg)
© 2008, H. SchauerUniversity of Zurich
+
y
x
Serienschaltung
0 ∧ 0 = 00 ∧ 1 = 01 ∧ 0 = 01 ∧ 1 = 1
x ∧ 0 = 0x ∧ 1 = x (neutrales Element 1)
x ∧ x = x (Idempotenz)
14
a b y0 00 11 01 1
0001
Konjunktion (and)
y = a ∧ b
14
![Page 15: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/15.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a a b y0 00 11 01 1
0111
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
15
Disjunktion (or)
y = a ∨ b
15
![Page 16: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/16.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
16
Disjunktion (or)
a b y0 00 11 01 1
0111
y = a ∨ b
16
![Page 17: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/17.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
17
Disjunktion (or)
a b y0 00 11 01 1
0111
y = a ∨ b
17
![Page 18: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/18.jpg)
© 2008, H. SchauerUniversity of Zurich
+
b
y
a
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
18
Disjunktion (or)
a b y0 00 11 01 1
0111
y = a ∨ b
18
![Page 19: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/19.jpg)
© 2008, H. SchauerUniversity of Zurich
+
y
x
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
19
Disjunktion (or)
a b y0 00 11 01 1
0111
y = a ∨ b
19
![Page 20: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/20.jpg)
© 2008, H. SchauerUniversity of Zurich
+
y
x
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
20
Disjunktion (or)
a b y0 00 11 01 1
0111
y = a ∨ b
20
![Page 21: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/21.jpg)
© 2008, H. SchauerUniversity of Zurich
+
y
x
Parallelschaltung
0 ∨ 0 = 00 ∨ 1 = 11 ∨ 0 = 11 ∨ 1 = 1
x ∨ 0 = x (neutrales Element 0)x ∨ 1 = 1x ∨ x = x (Idempotenz)
21
Disjunktion (or)
a b y0 00 11 01 1
0111
y = a ∨ b
21
![Page 22: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/22.jpg)
© 2008, H. SchauerUniversity of Zurich
y = ¬a
+
y
a
a y01
10
Ruhekontakt
¬0 = 1¬1 = 0
22
Negation (not)
22
![Page 23: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/23.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ b = b ∧ a
23
Kommutatives Gesetz der Konjunktion
+
a
y
b
+
b
y
a
23
![Page 24: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/24.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∨ b = b ∨ a
24
Kommutatives Gesetz der Disjunktion
+
b
y
a
+
a
y
b
24
![Page 25: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/25.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ (b ∧ c) = (a ∧ b) ∧ c
25
Assoziatives Gesetz der Konjunktion
c
y
b
a
c
y
b
a
25
![Page 26: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/26.jpg)
c
+
a
y
b
c
+
a
y
b
© 2008, H. SchauerUniversity of Zurich
a ∨ (b ∨ c) = (a ∨ b) ∨ c
26
Assoziatives Gesetz der Disjunktion
26
![Page 27: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/27.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
27
Distributives Gesetz
27
![Page 28: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/28.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ 1 = aa ∨ 0 = a
28
Identitätsgesetz
28
![Page 29: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/29.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ 0 = 0a ∨ 1 = 1
29
Null-/Einsgesetz
29
![Page 30: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/30.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ ¬a = 0a ∨ ¬a = 1
30
Komplementärgesetz
30
![Page 31: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/31.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ a = aa ∨ a = a
31
Idempotenzgesetz
31
![Page 32: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/32.jpg)
© 2008, H. SchauerUniversity of Zurich
a ∧ (a ∨ b) = aa ∨ (a ∧ b) = a
32
Gesetz der Verschmelzung
32
![Page 33: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/33.jpg)
© 2008, H. SchauerUniversity of Zurich
¬(¬a) = a
33
Doppeltes Negationsgesetz
33
![Page 34: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/34.jpg)
© 2008, H. SchauerUniversity of Zurich
¬(a ∧ b) = ¬a ∨ ¬b ¬(a ∨ b) = ¬a ∧ ¬b
34
DeMorgan’sches Gesetz
34
![Page 35: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/35.jpg)
© 2008, H. SchauerUniversity of Zurich
a b a ∧ b ¬(a ∧ b) ¬a ¬b ¬a ∨ ¬b0 00 11 01 1
0001
1110
1100
1010
1110
35
DeMorgan’sches Gesetz ¬(a ∧ b) = ¬a ∨ ¬b
35
![Page 36: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/36.jpg)
© 2008, H. SchauerUniversity of Zurich
a b a ∨ b ¬(a ∨ b) ¬a ¬b ¬a ∧ ¬b0 00 11 01 1
0111
1000
1100
1010
1000
36
DeMorgan’sches Gesetz ¬(a ∨ b) = ¬a ∧ ¬b
36
![Page 37: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/37.jpg)
© 2008, H. SchauerUniversity of Zurich
37
Boole'sche Algebra
Eine Boole'sche Algebra ist ein abgeschlossenes System, in dem zwei Operationen definiert sind, für die
• kommutatives, • assoziatives, • distributives und • Verschmelzungsgesetz gelten und in dem ein
• Nullelement, ein • Einselement und zu jedem Element ein • Komplement
existiert.37
![Page 38: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/38.jpg)
© 2008, H. SchauerUniversity of Zurich
38
Beispiele für Boole'sche Algebren
• Mengenlehre• Aussagenlogik• Schaltalgebra
38
![Page 39: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/39.jpg)
© 2008, H. SchauerUniversity of Zurich
39
Mengenlehre
• Durchschnitt zweier Mengen a ⋂ b (entspricht a ∧ b)• Vereinigung zweier Mengen a ⋃ b (entspricht a ∨ b)• Komplement einer Menge a (entspricht ¬a)• Leere Menge (entspricht 0)• Gesamtmenge (entspricht 1)
39
![Page 40: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/40.jpg)
© 2008, H. SchauerUniversity of Zurich
40
Aussagenlogik
• Konjunktion zweier Aussagen (entspricht a ∧ b)• Disjunktion zweier Aussagen (entspricht a ∨ b)• Negation einer Aussage (entspricht ¬a)• Kontradiktion (entspricht 0)• Tautologie (entspricht 1)
40
![Page 41: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/41.jpg)
© 2008, H. SchauerUniversity of Zurich
41
Schaltalgebra
• Serienschaltung zweier Schalter (entspricht a ∧ b)• Parallelschaltung zweier Schalter (entspricht a ∨ b)• Schalter mit Ruhekontakt (entspricht ¬a)• Permanente Unterbrechung (entspricht 0)• Permanente Verbindung (entspricht 1)
41
![Page 42: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/42.jpg)
© 2008, H. SchauerUniversity of Zurich
y = a ≢ b
a b y0 00 11 01 1
0110
0 ≢ 0 = 00 ≢ 1 = 11 ≢ 0 = 11 ≢ 1 = 0
x ≢ 0 = xx ≢ 1 = ¬xx ≢ x = 0
42
Antivalenz
42
![Page 43: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/43.jpg)
© 2008, H. SchauerUniversity of Zurich
Alle Boole’schen Funktionen mit zwei Parametern
a 0011b 01010000 y0 = 0
0001 y1 = a∧b
0010 y2 = a∧¬b
0011 y3 = a
0100 y4 = ¬a∧b
0101 y5 = b
0110 y6 = a≢b
0111 y7 = a∨b
a 0011b 01011111 y15 = 1
1110 y14 = ¬a∨¬b
1101 y13 = ¬a∨b
1100 y12 = ¬a
1011 y11 = a∨¬b
1010 y10 = ¬b
1001 y9 = a≡b
1000 y8 = ¬a∧¬b
43
43
![Page 44: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/44.jpg)
© 2008, H. SchauerUniversity of Zurich
Spezielle Boole’sche Funktionen mit zwei Parametern
Peirce-Funktion Nor
y8 = ¬a∧¬b = ¬(a∨b)
44
44
![Page 45: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/45.jpg)
© 2008, H. SchauerUniversity of Zurich
Spezielle Boole’sche Funktionen mit zwei Parametern
Sheffer-Funktion Nand
y14 = ¬a∨¬b = ¬(a∧b)
45
45
![Page 46: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/46.jpg)
© 2008, H. SchauerUniversity of Zurich
Spezielle Boole’sche Funktionen mit zwei Parametern
Implikation
y11 = a∨¬b = b⇒ay13 = ¬a∨b = a⇒b
46
46
![Page 47: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/47.jpg)
© 2008, H. SchauerUniversity of Zurich
a⇒b“a impliziert b”“aus a folgt b”
“wenn a gilt dann gilt auch b”“a ist hinreichend für b”“b ist notwendig für a”
¬a∨b
a ... Prämisse b ... Conclusio
(a⇒b) ∧ (b⇒a) = (a ⇔ b) (0⇒x) = 1 "ex falso quodlibet''
47
Implikation
47
![Page 48: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/48.jpg)
© 2008, H. SchauerUniversity of Zurich
Spezielle Boole’sche Funktionen mit zwei Parametern
Kontradiktiony0 = 0
Tautologiey15 = 1
48
48
![Page 49: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/49.jpg)
© 2008, H. SchauerUniversity of Zurich
f(x,y) = ¬g(x,y)"f und g sind zueinaner komplementär"
Beispiele für komplementäre Funktionen:∧, nand ∨, nor≡, ≢0, 1
49
Komplementäre Funktionen
49
![Page 50: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/50.jpg)
© 2008, H. SchauerUniversity of Zurich
f(x,y) = ¬g(¬x,¬y)"f und g sind zueinaner dual"
Beispiele für duale Funktionen:∧,∨
nand, nor≡, ≢
50
Dualität
50
![Page 51: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/51.jpg)
© 2008, H. SchauerUniversity of Zurich
a b a ∧ b ¬a ¬b ¬a ∨ ¬b ¬(¬a ∨ ¬b)0 00 11 01 1
0001
1100
1010
1110
0001
51
Dualität a ∧ b = ¬(¬a ∨ ¬b)
51
![Page 52: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/52.jpg)
© 2008, H. SchauerUniversity of Zurich
Oder-Gatter
Und-Gatter
&
≥1
52
Gatter
52
![Page 53: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/53.jpg)
© 2008, H. SchauerUniversity of Zurich
Halbaddierwerk
≥1
& a b
s
& a b
c
& a b
a b c s0 00 11 01 1
0 00 10 11 0
s = (¬a ∧ b) ∨ (a ∧ ¬b)c = (a ∧ b)
53
53
![Page 54: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/54.jpg)
© 2008, H. SchauerUniversity of Zurich
s = (¬a ∧ b) ∨ (a ∧ ¬b) = = ((¬a ∧ b) ∨ a) ∧ ((¬a ∧ b) ∨ ¬b) = = (¬a ∨ a) ∧ (b ∨ a) ∧ (¬a ∨ ¬b) ∧ (b ∨ ¬b) = = (b ∨ a) ∧ (¬a ∨ ¬b) = = (a ∨ b) ∧ ¬ (a ∧ b)c = (a ∧ b)
54
Halbaddierwerk
54
![Page 55: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/55.jpg)
© 2008, H. SchauerUniversity of Zurich
&
≥1
&
a
a
b
b
s
c
a b c s0 00 11 01 1
0 00 10 11 0
s = (a ∨ b) ∧ ¬(a ∧ b)c = (a ∧ b)
55
Halbaddierwerk
55
![Page 56: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/56.jpg)
© 2008, H. SchauerUniversity of Zurich
&
≥1
&
a
a
b
b
s
c
a b c s0 00 11 01 1
0 00 10 11 0
s = (a ∨ b) ∧ ¬(a ∧ b)c = (a ∧ b)
56
Halbaddierwerk
56
![Page 57: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/57.jpg)
© 2008, H. SchauerUniversity of Zurich
&
≥1
&
a
a
b
b
s
c
a b c s0 00 11 01 1
0 00 10 11 0
s = (a ∨ b) ∧ ¬(a ∧ b)c = (a ∧ b)
57
Halbaddierwerk
57
![Page 58: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/58.jpg)
© 2008, H. SchauerUniversity of Zurich
&
≥1
&
a
a
b
b
s
c
a b c s0 00 11 01 1
0 00 10 11 0
s = (a ∨ b) ∧ ¬(a ∧ b)c = (a ∧ b)
58
Halbaddierwerk
58
![Page 59: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/59.jpg)
© 2008, H. SchauerUniversity of Zurich
≥1
≥1
≥1
a
a
b
b
s
c
a b c s0 00 11 01 1
0 00 10 11 0
s = ¬(¬(a ∨ b) ∨ ¬(¬a ∨ ¬b))c = ¬(¬a ∨ ¬b)
59
Halbaddierwerk
59
![Page 60: Boole’sche Algebra - files.ifi.uzh.ch · © 2008, H. Schauer University of Zurich Ausgang y ohne Spannung Schalter a offen Schalter b offen + b=0 y=0 a=0 4 4](https://reader033.vdocuments.pub/reader033/viewer/2022050314/5f762adc7a8da86577250edf/html5/thumbnails/60.jpg)
© 2008, H. SchauerUniversity of Zurich
60
Prozessor
60