DuE-Tutorien 16 und 17
|
|
|
- Wilhelm Weber
- vor 5 Jahren
- Abrufe
Transkript
1 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 3 am Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft
2 Heute Hammingcode Gesetze der Schaltalgebra Beschreibung von booleschen Funktionen Disjunktive und konjunktive Normalform Übungsaufgaben 2 Christian A. Mandery:
3 Hammingcode Fehlerkorrigierender linearer Blockcode, d.h. Abbildung von Datenwörtern fester Länge auf Codewörter (anderer) fester Länge Summe zweier Codewörter ist wieder ein Codewort Alle folgenden Folien: Hammingcode-Konstruktion der Vorlesung (Hamming-Abstand 3) 3 Christian A. Mandery:
4 Eigenschaften Hamming-Distanz ist drei Ein-Bit-Fehler können erkannt und korrigiert werden Zwei-Bit-Fehler nur erkannt werden Problem: Erkennung Wie viele Bitfehler liegen vor? 4 Christian A. Mandery:
5 Konstruktion Codewortbits werden beginnend mit Eins gezählt Die Prüfbits stehen an den Zweierpotenzen-Stellen Die Zahl k der Prüfbits hängt von der Zahl m der Datenbits ab Gelten muss: 2 k k + m + 1 Prüfbit prüft die Stellen mit der Nummer, die jeweilige Zweierpotenz enthalten Beispiel: Prüfbit 2 prüft Codewortbits 3, 6, 7, 10, 11,... Kein Prüfbit prüft ein anderer Prüfbit (Zweierpotenzen!) 5 Christian A. Mandery:
6 Konstruktion Codewortbits werden beginnend mit Eins gezählt Die Prüfbits stehen an den Zweierpotenzen-Stellen Die Zahl k der Prüfbits hängt von der Zahl m der Datenbits ab Gelten muss: 2 k k + m + 1 Prüfbit prüft die Stellen mit der Nummer, die jeweilige Zweierpotenz enthalten Beispiel: Prüfbit 2 prüft Codewortbits 3, 6, 7, 10, 11,... Kein Prüfbit prüft ein anderer Prüfbit (Zweierpotenzen!) 5 Christian A. Mandery:
7 Konstruktion Codewortbits werden beginnend mit Eins gezählt Die Prüfbits stehen an den Zweierpotenzen-Stellen Die Zahl k der Prüfbits hängt von der Zahl m der Datenbits ab Gelten muss: 2 k k + m + 1 Prüfbit prüft die Stellen mit der Nummer, die jeweilige Zweierpotenz enthalten Beispiel: Prüfbit 2 prüft Codewortbits 3, 6, 7, 10, 11,... Kein Prüfbit prüft ein anderer Prüfbit (Zweierpotenzen!) 5 Christian A. Mandery:
8 Codierung und Decodierung Codierung: Man berechnet die Prüfbits durch XOR (Antivalenz) zwischen entsprechenden Datenbits Decodierung: Man berechnet für jedes Prüfbit XOR von allen Datenbits zusammen mit dem entsprechenden Prüfbits Alle Werte sind 0 Kein Ein-/Zwei-Bit-Fehler Mindestens ein Wert = 0 Falls Ein-Bit-Fehler vorliegt, liefern die Werte als Binärzahl die Stelle des Fehlers Trick für XOR: Zahl der Einsen zählen (gerade Zahl XOR ist 0) 6 Christian A. Mandery:
9 Codierung und Decodierung Codierung: Man berechnet die Prüfbits durch XOR (Antivalenz) zwischen entsprechenden Datenbits Decodierung: Man berechnet für jedes Prüfbit XOR von allen Datenbits zusammen mit dem entsprechenden Prüfbits Alle Werte sind 0 Kein Ein-/Zwei-Bit-Fehler Mindestens ein Wert = 0 Falls Ein-Bit-Fehler vorliegt, liefern die Werte als Binärzahl die Stelle des Fehlers Trick für XOR: Zahl der Einsen zählen (gerade Zahl XOR ist 0) 6 Christian A. Mandery:
10 Codierung und Decodierung Codierung: Man berechnet die Prüfbits durch XOR (Antivalenz) zwischen entsprechenden Datenbits Decodierung: Man berechnet für jedes Prüfbit XOR von allen Datenbits zusammen mit dem entsprechenden Prüfbits Alle Werte sind 0 Kein Ein-/Zwei-Bit-Fehler Mindestens ein Wert = 0 Falls Ein-Bit-Fehler vorliegt, liefern die Werte als Binärzahl die Stelle des Fehlers Trick für XOR: Zahl der Einsen zählen (gerade Zahl XOR ist 0) 6 Christian A. Mandery:
11 Boolesche Algebra Menge V mit zwei zweistelligen abgeschlossenen Operationen, für die die vier Huntingtonschen Axiome gelten: 1. Kommutativgesetze: a b = b a a b = b a 2. Distributivgesetze: a (b c) = (a b) (a c) a (b c) = (a b) (a c) 3. Neutrale Elemente: e, n V a e = a a n = a 4. Inverse Element: a V : a V a a = n a a = e 7 Christian A. Mandery:
12 Boolesche Algebra Menge V mit zwei zweistelligen abgeschlossenen Operationen, für die die vier Huntingtonschen Axiome gelten: 1. Kommutativgesetze: a b = b a a b = b a 2. Distributivgesetze: a (b c) = (a b) (a c) a (b c) = (a b) (a c) 3. Neutrale Elemente: e, n V a e = a a n = a 4. Inverse Element: a V : a V a a = n a a = e 7 Christian A. Mandery:
13 Boolesche Algebra Menge V mit zwei zweistelligen abgeschlossenen Operationen, für die die vier Huntingtonschen Axiome gelten: 1. Kommutativgesetze: a b = b a a b = b a 2. Distributivgesetze: a (b c) = (a b) (a c) a (b c) = (a b) (a c) 3. Neutrale Elemente: e, n V a e = a a n = a 4. Inverse Element: a V : a V a a = n a a = e 7 Christian A. Mandery:
14 Boolesche Algebra Menge V mit zwei zweistelligen abgeschlossenen Operationen, für die die vier Huntingtonschen Axiome gelten: 1. Kommutativgesetze: a b = b a a b = b a 2. Distributivgesetze: a (b c) = (a b) (a c) a (b c) = (a b) (a c) 3. Neutrale Elemente: e, n V a e = a a n = a 4. Inverse Element: a V : a V a a = n a a = e 7 Christian A. Mandery:
15 Boolesche Algebra Menge V mit zwei zweistelligen abgeschlossenen Operationen, für die die vier Huntingtonschen Axiome gelten: 1. Kommutativgesetze: a b = b a a b = b a 2. Distributivgesetze: a (b c) = (a b) (a c) a (b c) = (a b) (a c) 3. Neutrale Elemente: e, n V a e = a a n = a 4. Inverse Element: a V : a V a a = n a a = e 7 Christian A. Mandery:
16 Schaltalgebra Bestimmte boolesche Algebra mit V = {0, 1} und den Operationen Disjunktion ( ) und Konjunktion (, auch ) Wahrheitswert eines Ausdrucks ergibt sich durch Angabe einer Variablenbelegung Tautologie: Ausdruck, der für alle möglichen Belegungen wahr ist 8 Christian A. Mandery:
17 Gesetze der Schaltalgebra Assoziativgesetze: a (b c) = (a b) c a (b c) = (a b) c Idempotenzgesetze: a a = a a a = a Absorptionsgesetze: a (a b) = a a (a b) = a De Morgansche Gesetze: a b = a b a b = a b 9 Christian A. Mandery:
18 Gesetze der Schaltalgebra Assoziativgesetze: a (b c) = (a b) c a (b c) = (a b) c Idempotenzgesetze: a a = a a a = a Absorptionsgesetze: a (a b) = a a (a b) = a De Morgansche Gesetze: a b = a b a b = a b 9 Christian A. Mandery:
19 Gesetze der Schaltalgebra Assoziativgesetze: a (b c) = (a b) c a (b c) = (a b) c Idempotenzgesetze: a a = a a a = a Absorptionsgesetze: a (a b) = a a (a b) = a De Morgansche Gesetze: a b = a b a b = a b 9 Christian A. Mandery:
20 Gesetze der Schaltalgebra Assoziativgesetze: a (b c) = (a b) c a (b c) = (a b) c Idempotenzgesetze: a a = a a a = a Absorptionsgesetze: a (a b) = a a (a b) = a De Morgansche Gesetze: a b = a b a b = a b 9 Christian A. Mandery:
21 Darstellung als Funktionstabelle Idee: Eine boolesche Funktion ist durch ihren Funktionswert unter allen möglichen Variablenbelegungen charakterisiert Angabe als Tabelle mit 2 n Zeilen bei n verschiedenen Variablen Wichtige zweiparametrige Funktionen: Disjunktion Konjunktion Implikation Äquivalenz Antivalenz (XOR) Funktionstabellen für diese Funktionen? 10 Christian A. Mandery:
22 Darstellung als Funktionstabelle Idee: Eine boolesche Funktion ist durch ihren Funktionswert unter allen möglichen Variablenbelegungen charakterisiert Angabe als Tabelle mit 2 n Zeilen bei n verschiedenen Variablen Wichtige zweiparametrige Funktionen: Disjunktion Konjunktion Implikation Äquivalenz Antivalenz (XOR) Funktionstabellen für diese Funktionen? 10 Christian A. Mandery:
23 Darstellung in Operatorensystemen Darstellung als algebraischer Ausdruck Immer möglich, wenn das Operatorensystem vollständig ist ( jede boolesche Funktion ist darstellbar) Beispiele für vollständige Operatorensysteme: Disjunktion und Negation Konjunktion und Negation NAND NOR Beweis der Vollständigkeit: Alle Operatoren eines vollständigen Operatorensystems im Operatorensystem darstellen 11 Christian A. Mandery:
24 Darstellung in Operatorensystemen Darstellung als algebraischer Ausdruck Immer möglich, wenn das Operatorensystem vollständig ist ( jede boolesche Funktion ist darstellbar) Beispiele für vollständige Operatorensysteme: Disjunktion und Negation Konjunktion und Negation NAND NOR Beweis der Vollständigkeit: Alle Operatoren eines vollständigen Operatorensystems im Operatorensystem darstellen 11 Christian A. Mandery:
25 Darstellung in Operatorensystemen Darstellung als algebraischer Ausdruck Immer möglich, wenn das Operatorensystem vollständig ist ( jede boolesche Funktion ist darstellbar) Beispiele für vollständige Operatorensysteme: Disjunktion und Negation Konjunktion und Negation NAND NOR Beweis der Vollständigkeit: Alle Operatoren eines vollständigen Operatorensystems im Operatorensystem darstellen 11 Christian A. Mandery:
26 Definitionen Literal: Nicht-negierte oder negierte boolesche Variable Produktterm: Konjunktion von Literalen, z.b. a b Sumterm: Disjunktion von Literalen, z.b. a b c Implikant (von f): Ein Produktterm, der f impliziert Implikat (von f): Ein Sumterm, der von f impliziert wird 12 Christian A. Mandery:
27 Definitionen Literal: Nicht-negierte oder negierte boolesche Variable Produktterm: Konjunktion von Literalen, z.b. a b Sumterm: Disjunktion von Literalen, z.b. a b c Implikant (von f): Ein Produktterm, der f impliziert Implikat (von f): Ein Sumterm, der von f impliziert wird 12 Christian A. Mandery:
28 Definitionen Literal: Nicht-negierte oder negierte boolesche Variable Produktterm: Konjunktion von Literalen, z.b. a b Sumterm: Disjunktion von Literalen, z.b. a b c Implikant (von f): Ein Produktterm, der f impliziert Implikat (von f): Ein Sumterm, der von f impliziert wird 12 Christian A. Mandery:
29 Definitionen Literal: Nicht-negierte oder negierte boolesche Variable Produktterm: Konjunktion von Literalen, z.b. a b Sumterm: Disjunktion von Literalen, z.b. a b c Implikant (von f): Ein Produktterm, der f impliziert Implikat (von f): Ein Sumterm, der von f impliziert wird 12 Christian A. Mandery:
30 Definitionen Literal: Nicht-negierte oder negierte boolesche Variable Produktterm: Konjunktion von Literalen, z.b. a b Sumterm: Disjunktion von Literalen, z.b. a b c Implikant (von f): Ein Produktterm, der f impliziert Implikat (von f): Ein Sumterm, der von f impliziert wird 12 Christian A. Mandery:
31 Min- und Maxterme Minterm (von f): Implikant, der jede Variable genau einmal enthält Eins-Zeilen der Funktionstabellen Maxterm (von f): Implikat, der jede Variable genau einmal enthält Null-Zeilen der Funktionstabellen (mit negierten Variablen) 13 Christian A. Mandery:
32 Min- und Maxterme Minterm (von f): Implikant, der jede Variable genau einmal enthält Eins-Zeilen der Funktionstabellen Maxterm (von f): Implikat, der jede Variable genau einmal enthält Null-Zeilen der Funktionstabellen (mit negierten Variablen) 13 Christian A. Mandery:
33 Normalformen Disjunktive Normalform (DNF): Disjunktion aller Minterme von f, wobei keiner doppelt vorkommen darf Konjunktive Normalform (KNF): Konjuktion aller Maxterme von f, wobei keiner doppelt vorkommen darf Eigenschaften der Normalformen: Sie sind eindeutig (bis auf Umordnung) Jede Funktion kann durch algebraische Umformungen in die Normalformen gebracht werden Min- und Maxterme kann man direkt an der Funktionstabelle ablesen, also auch die Normalformen 14 Christian A. Mandery:
34 Normalformen Disjunktive Normalform (DNF): Disjunktion aller Minterme von f, wobei keiner doppelt vorkommen darf Konjunktive Normalform (KNF): Konjuktion aller Maxterme von f, wobei keiner doppelt vorkommen darf Eigenschaften der Normalformen: Sie sind eindeutig (bis auf Umordnung) Jede Funktion kann durch algebraische Umformungen in die Normalformen gebracht werden Min- und Maxterme kann man direkt an der Funktionstabelle ablesen, also auch die Normalformen 14 Christian A. Mandery:
35 Normalformen Disjunktive Normalform (DNF): Disjunktion aller Minterme von f, wobei keiner doppelt vorkommen darf Konjunktive Normalform (KNF): Konjuktion aller Maxterme von f, wobei keiner doppelt vorkommen darf Eigenschaften der Normalformen: Sie sind eindeutig (bis auf Umordnung) Jede Funktion kann durch algebraische Umformungen in die Normalformen gebracht werden Min- und Maxterme kann man direkt an der Funktionstabelle ablesen, also auch die Normalformen 14 Christian A. Mandery:
36 Normalformen Disjunktive Normalform (DNF): Disjunktion aller Minterme von f, wobei keiner doppelt vorkommen darf Konjunktive Normalform (KNF): Konjuktion aller Maxterme von f, wobei keiner doppelt vorkommen darf Eigenschaften der Normalformen: Sie sind eindeutig (bis auf Umordnung) Jede Funktion kann durch algebraische Umformungen in die Normalformen gebracht werden Min- und Maxterme kann man direkt an der Funktionstabelle ablesen, also auch die Normalformen 14 Christian A. Mandery:
37 Normalformen Disjunktive Normalform (DNF): Disjunktion aller Minterme von f, wobei keiner doppelt vorkommen darf Konjunktive Normalform (KNF): Konjuktion aller Maxterme von f, wobei keiner doppelt vorkommen darf Eigenschaften der Normalformen: Sie sind eindeutig (bis auf Umordnung) Jede Funktion kann durch algebraische Umformungen in die Normalformen gebracht werden Min- und Maxterme kann man direkt an der Funktionstabelle ablesen, also auch die Normalformen 14 Christian A. Mandery:
38 Beispiel Funktion: Antivalenz (XOR) Funktionstabelle: x y x y Maxterm: x y Minterm: x y Minterm: x y Maxterm: x y DNF: (x y) (x y) KNF: (x y) (x y) 15 Christian A. Mandery:
39 Beispiel Funktion: Antivalenz (XOR) Funktionstabelle: x y x y Maxterm: x y Minterm: x y Minterm: x y Maxterm: x y DNF: (x y) (x y) KNF: (x y) (x y) 15 Christian A. Mandery:
40 Beispiel Funktion: Antivalenz (XOR) Funktionstabelle: x y x y Maxterm: x y Minterm: x y Minterm: x y Maxterm: x y DNF: (x y) (x y) KNF: (x y) (x y) 15 Christian A. Mandery:
41 Übungsaufgabe 1.1 Vereinfachen Sie die folgenden booleschen Ausdrücke so weit wie möglich: 1. (a (b (a b))) 2. (a b) b (b a) 3. abc abc abc abc 4. x xyz yzx qx qx xy 16 Christian A. Mandery:
42 Übungsaufgabe 1.1 Vereinfachen Sie die folgenden booleschen Ausdrücke so weit wie möglich: 1. (a (b (a b))) 2. (a b) b (b a) 3. abc abc abc abc 4. x xyz yzx qx qx xy 16 Christian A. Mandery:
43 Übungsaufgabe 1.1 Vereinfachen Sie die folgenden booleschen Ausdrücke so weit wie möglich: 1. (a (b (a b))) 2. (a b) b (b a) 3. abc abc abc abc 4. x xyz yzx qx qx xy 16 Christian A. Mandery:
44 Übungsaufgabe 1.1 Vereinfachen Sie die folgenden booleschen Ausdrücke so weit wie möglich: 1. (a (b (a b))) 2. (a b) b (b a) 3. abc abc abc abc 4. x xyz yzx qx qx xy 16 Christian A. Mandery:
45 Übungsaufgabe 1.2 Untersuchen Sie mit Hilfe einer Wahrheitstabelle, ob die folgenden Aussagen A 1 und A 2 äquivalent sind: A 1 : (((a b) c) b) c) A 2 : b c 17 Christian A. Mandery:
46 Übungsaufgabe 1.3 Welches Gesetz des Schaltalgebra gestattet die folgende Umformung? [(a b) b] [(a b) c] = (a b) (b c) 18 Christian A. Mandery:
47 Übungsaufgabe 2 Gegeben sei die boolesche Funktion f (c, b, a) = MINt(1, 2, 3, 6, 7) 1. Stellen Sie die Funktionstabelle der Funktionen f (c, b, a) und f (c, b, a) auf. 2. Geben Sie die konjunktive Normalform (KNF) der Funktionen f und f an. 3. Geben Sie die disjunktive Normalform (DNF) von f an. 4. Vereinfachen Sie die Ausdrücke der DNF und KNF von f mit Hilfe der Regeln der booleschen Algebra. Die resultierenden Ausdrücke sollen so wenig Literale wie möglich enthalten. 19 Christian A. Mandery:
48 Übungsaufgabe 2 Gegeben sei die boolesche Funktion f (c, b, a) = MINt(1, 2, 3, 6, 7) 1. Stellen Sie die Funktionstabelle der Funktionen f (c, b, a) und f (c, b, a) auf. 2. Geben Sie die konjunktive Normalform (KNF) der Funktionen f und f an. 3. Geben Sie die disjunktive Normalform (DNF) von f an. 4. Vereinfachen Sie die Ausdrücke der DNF und KNF von f mit Hilfe der Regeln der booleschen Algebra. Die resultierenden Ausdrücke sollen so wenig Literale wie möglich enthalten. 19 Christian A. Mandery:
49 Übungsaufgabe 2 Gegeben sei die boolesche Funktion f (c, b, a) = MINt(1, 2, 3, 6, 7) 1. Stellen Sie die Funktionstabelle der Funktionen f (c, b, a) und f (c, b, a) auf. 2. Geben Sie die konjunktive Normalform (KNF) der Funktionen f und f an. 3. Geben Sie die disjunktive Normalform (DNF) von f an. 4. Vereinfachen Sie die Ausdrücke der DNF und KNF von f mit Hilfe der Regeln der booleschen Algebra. Die resultierenden Ausdrücke sollen so wenig Literale wie möglich enthalten. 19 Christian A. Mandery:
50 Übungsaufgabe 2 Gegeben sei die boolesche Funktion f (c, b, a) = MINt(1, 2, 3, 6, 7) 1. Stellen Sie die Funktionstabelle der Funktionen f (c, b, a) und f (c, b, a) auf. 2. Geben Sie die konjunktive Normalform (KNF) der Funktionen f und f an. 3. Geben Sie die disjunktive Normalform (DNF) von f an. 4. Vereinfachen Sie die Ausdrücke der DNF und KNF von f mit Hilfe der Regeln der booleschen Algebra. Die resultierenden Ausdrücke sollen so wenig Literale wie möglich enthalten. 19 Christian A. Mandery:
51 Übungsaufgabe 3 Gegeben sei die Schaltfunktion f (w, x, y, z): f (w, x, y, z) = y(xz z) wx(y yz) xyz Bestimmen Sie die konjunktive Normalform (KNF) und die disjunktive Normalform (DNF) von f. 20 Christian A. Mandery:
52 Übungsaufgabe 4 Gegeben sei die boolesche Funktion y = f (d, c, b, a) = dca dcb dca dcb 1. Vereinfachen Sie den Ausdruck der obigen Funktion. 2. Stellen Sie die Funktionstabelle der Funktion y auf. 3. Geben Sie sowohl die disjunktive Normalform (DNF) als auch die konjunktive Normalform (KNF) von y an. 21 Christian A. Mandery:
53 Übungsaufgabe 4 Gegeben sei die boolesche Funktion y = f (d, c, b, a) = dca dcb dca dcb 1. Vereinfachen Sie den Ausdruck der obigen Funktion. 2. Stellen Sie die Funktionstabelle der Funktion y auf. 3. Geben Sie sowohl die disjunktive Normalform (DNF) als auch die konjunktive Normalform (KNF) von y an. 21 Christian A. Mandery:
54 Übungsaufgabe 4 Gegeben sei die boolesche Funktion y = f (d, c, b, a) = dca dcb dca dcb 1. Vereinfachen Sie den Ausdruck der obigen Funktion. 2. Stellen Sie die Funktionstabelle der Funktion y auf. 3. Geben Sie sowohl die disjunktive Normalform (DNF) als auch die konjunktive Normalform (KNF) von y an. 21 Christian A. Mandery:
55 Fertig! Quelle: 22 Christian A. Mandery:
DuE-Tutorien 17 und 18
DuE-Tutorien 17 und 18 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery TUTORIENWOCHE 3 AM 18.11.2011 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
2. Tutorium Digitaltechnik und Entwurfsverfahren
2. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 9 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
DuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery. WOCHE 4 AM
DuE-Tutorien 4 und 6 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery WOCHE 4 AM 13.11.2012 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
DuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery. WOCHE 2 AM
DuE-Tutorien 4 und 6 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery WOCHE 2 AM 30.10.2012 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Boolesche Algebra (1)
Boolesche Algebra (1) Definition 1: Sei B = Σ 2 = {0,1} das Alphabet mit den Elementen 0 und 1. Seien auf B die 3 Operatoren einer Algebra wie folgt definiert für x,y aus B: x+y := Max(x,y), x y := Min(x,y),
DuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 6 am 0.2.200 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der Helmholtz-Gemeinschaft
03 Boolesche Algebra. Technische Grundlagen der Informatik
03 Boolesche Algebra Technische Grundlagen der Informatik Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology email: tgi@auto.tuwien.ac.at Inhalt Operationen
Rechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
Informationsverarbeitung auf Bitebene
Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung
Logik (Teschl/Teschl 1.1 und 1.3)
Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.
Logische Äquivalenz. Definition Beispiel 2.23
Logische Äquivalenz Definition 2.22 Zwei aussagenlogische Formeln α, β A heißen logisch äquivalent, falls für jede Belegung I von α und β gilt: Schreibweise: α β. Beispiel 2.23 Aus Folgerung 2.6 ergibt
Schaltfunktion, Definition
Schaltfunktion, Definition Sei S = { 0,1}. Dann heißt eine Abbildung f: S n S eine Schaltfunktion. = f(x n-1,x n-2,...,,, ), x n-1, x n-2,...,,, S x i X = (x n-1,x n-2,...,,, ) Eingangsvariable Eingangsvektor
Allgemeingültige Aussagen
Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt
Boolesche (Schalt-) Algebra (1)
Boolesche (Schalt-) Algebra (1) Definition 1: Sei B = SS 2 = 0,1 das Alphabet mit den Elementen 0 und 1. Seien auf BB die folgenden 3 Operatoren definiert für xx, yy B: xx + yy max xx, yy xx yy min xx,
Rechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik WS 2013/14 Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 21. Oktober 2013 1/33 1 Boolesche
Grundlagen der Informationverarbeitung
Grundlagen der Informationverarbeitung Information wird im Computer binär repräsentiert. Die binär dargestellten Daten sollen im Computer verarbeitet werden, d.h. es müssen Rechnerschaltungen existieren,
Teil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
6. Tutorium Digitaltechnik und Entwurfsverfahren
6. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 13 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Technische Grundlagen der Informatik
Technische Grundlagen der Informatik WS 2008/2009 6. Vorlesung Klaus Kasper WS 2008/2009 Technische Grundlagen der Informatik Inhalt Wiederholung Boolesche Gesetze Boolesche Kürzungsregeln Antivalenz und
Computational Logic Algorithmische Logik Boolesche Algebra und Resolution
Computational Logic Algorithmische Logik Boolesche Algebra und Resolution Ralf Moeller Hamburg Univ. of Technology Boole'sche Algebra Äquivalenzen als "Transformationsgesetze" Ersetzbarkeitstheorem Zentrale
Algorithmen & Programmierung. Logik
Algorithmen & Programmierung Logik Aussagenlogik Gegenstand der Untersuchung Es werden Verknüpfungen zwischen Aussagen untersucht. Aussagen Was eine Aussage ist, wird nicht betrachtet, aber jede Aussage
DuE-Tutorien 17 und 18
DuE-Tutorien 17 und 18 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery TUTORIENWOCHE 8 AM 23.12.2011 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Einführung in die Boolesche Algebra
Einführung in die Boolesche Algebra Einführung in Boole' sche Algebra 1 Binäre Größe Eine Größe (eine Variable), die genau 2 Werte annehmen kann mathematisch: falsche Aussage wahre Aussage technisch: ausgeschaltet
f ist sowohl injektiv als auch surjektiv.
Bemerkungen: Wir erinnern uns an folgende Definitionen: Eine Funktion f : U V heißt injektiv, wenn gilt: ( x, y U)[x y f(x) f(y)] Eine Funktion f : U V heißt surjektiv, wenn gilt: ( y V x U)[y = f(x)]
Aussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1
Aussagenlogik Formale Methoden der Informatik WiSe 22/23 teil 6, folie Teil VI: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning, Fakultät
Logik für Informatiker
Vorlesung Logik für Informatiker 5. Aussagenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Normalformen Definition: Literal Atom (aussagenlogische
Algebra mit Schaltungen I Städtisches Gymnasium Bad Laasphe
Informatik Gierhardt Algebra mit Schaltungen I Städtisches Gymnasium Bad Laasphe Algebra Der englische Mathematiker George Boole (1815-1864) entwickelte in seinem Buch The Laws of Thought zur systematischen
Informatik A (Autor: Max Willert)
2. Aufgabenblatt Wintersemester 2012/2013 - Musterlösung Informatik A (Autor: Max Willert) 1. Logik im Alltag (a) Restaurant A wirbt mit dem Slogan Gutes Essen ist nicht billig!, das danebenliegende Restaurant
5. Vorlesung: Normalformen
5. Vorlesung: Normalformen Wiederholung Vollständige Systeme Minterme Maxterme Disjunktive Normalform (DNF) Konjunktive Normalform (KNF) 1 XOR (Antivalenz) X X X X X X ( X X ) ( X X ) 1 2 1 2 1 2 1 2 1
II. Grundlagen der Programmierung
II. Grundlagen der Programmierung II.1. Zahlenssteme und elementare Logik 1.1. Zahlenssteme 1.1.1. Ganze Zahlen Ganze Zahlen werden im Dezimalsstem als Folge von Ziffern 0, 1,..., 9 dargestellt, z.b. 123
DuE-Tutorien 4 und 6. Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery. WOCHE 8 AM
DuE-Tutorien 4 und 6 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery WOCHE 8 AM 11.12.2012 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Mathematische Grundlagen I Logik und Algebra
Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte
2. Funktionen und Entwurf digitaler Grundschaltungen
2. Funktionen und Entwurf digitaler Grundschaltungen 2.1 Kominatorische Schaltungen Kombinatorische Schaltungen - Grundlagen 1 Grundgesetze der Schaltalgebra UND-Verknüpfung ODER-Verknüpfung NICHT-Verknüpfung
Teil 1: Digitale Logik
Teil 1: Digitale Logik Inhalt: Boolesche Algebra kombinatorische Logik sequentielle Logik kurzer Exkurs technologische Grundlagen programmierbare logische Bausteine 1 Analoge und digitale Hardware bei
Normalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
Rechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 15/16
Rechnerstrukturen, Teil Vorlesung 4 SWS WS 5/6 Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls-www.cs.tu-.de Übersicht. Organisatorisches 2.
Rechnerstrukturen WS 2012/13
Rechnerstrukturen WS 2012/13 Repräsentation von Daten Repräsentation von Texten (Wiederholung) Repräsentation ganzer Zahlen (Wiederholung) Repräsentation rationaler Zahlen (Wiederholung) Repräsentation
2. Schaltfunktionen und ihre Darstellung
2. Schaltfunktionen und ihre Darstellung x y z Schaltalgebra Schaltkreise und -terme Schaltfunktionen Dualitätsprinzip Boolesche Algebra Darstellung von Schaltfunktionen 58 Schaltalgebra Wir untersuchen
2. Schaltfunktionen und ihre Darstellung
2. Schaltfunktionen und ihre Darstellung x y z Schaltalgebra Schaltkreise und -terme Schaltfunktionen Dualitätsprinzip Boolesche Algebra Darstellung von Schaltfunktionen 60 Schaltalgebra Wir untersuchen
11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!
Kapitel 3 Logik Verständnisfragen Sachfragen 1. Was ist eine logische Aussage? 2. Wie ist die Konjunktion und die Disjunktion definiert? 3. Beschreiben Sie das Exklusive Oder, die Implikation und die Äquivalenz!
Vorkurs Mathematik für Informatiker 5 Logik, Teil 1
5 Logik, Teil 1 Michael Bader, Thomas Huckle, Stefan Zimmer 1. 9. Oktober 2008 Kap. 5: Logik, Teil 1 1 Aussagenlogik Rechnen mit Wahrheitswerten: true und false Kap. 5: Logik, Teil 1 2 Aussagenlogik Rechnen
Einführung in die Informatik I
Einführung in die Informatik I Arithmetische und bitweise Operatoren im Binärsystem Prof. Dr. Nikolaus Wulff Operationen mit Binärzahlen Beim Rechnen mit Binärzahlen gibt es die ganz normalen arithmetischen
Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
Rechnerstrukturen. Michael Engel und Peter Marwedel SS TU Dortmund, Fakultät für Informatik
Rechnerstrukturen Michael Engel und Peter Marwedel TU Dortmund, Fakultät für Informatik SS 2013 Hinweis: Folien a. d. Basis von Materialien von Gernot Fink und Thomas Jansen 15. April 2013 1 Repräsentation
1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik
1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik Inhalt Grundlagen digitaler Systeme Boolesche Algebra / Aussagenlogik Organisation und Architektur von Rechnern Algorithmen, Darstellung von
Technische Informatik I, SS03. Boole sche Algebra, Kombinatorische Logik
Übung zur Vorlesung Technische Informatik I, SS03 Ergänzung Übungsblatt 1 Boole sche Algebra, Kombinatorische Logik Guenkova, Schmied, Bindhammer, Sauer {guenkova@vs., schmied@vs., bindhammer@vs., dietmar.sauer@}
1 Aussagenlogischer Kalkül
1 Aussagenlogischer Kalkül Ein Kalkül in der Aussagenlogik soll die Wahrheit oder Algemeingültigkeit von Aussageformen allein auf syntaktischer Ebene zeigen. Die Wahrheit soll durch Umformung von Formeln
Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
A.1 Schaltfunktionen und Schaltnetze
Schaltfunktionen und Schaltnetze A. Schaltfunktionen und Schaltnetze 22 Prof. Dr. Rainer Manthey Informatik II Bedeutung des Binärsystems für den Rechneraufbau Seit Beginn der Entwicklung von Computerhardware
Grundlagen der diskreten Mathematik
Grundlagen der diskreten Mathematik Prof. Dr. Romana Piat WS 25/6 Allgemeine Informationen Vorlesungen:./C Zug D (Mi., 3. Block + Do., 4. Block, y-raster) Zug E (Di., 5. Block + Do.,. Block, y-raster)
Logische Aussagen können durch die in der folgenden Tabelle angegebenen Operationen verknüpft werden.
Logische Operationen Logische ussagen können durch die in der folgenden Tabelle angegebenen Operationen verknüpft werden. ezeichnung Schreibweise (Sprechweise) wahr, genau dann wenn Negation (nicht ) falsch
2.1 Boole sche Funktionen
. Grundlagen digitaler Schaltungen. Boole sche Funktionen Darstellung Boolescher Funktionen. Boole sche lgebra Sätze der Booleschen lgebra.3 Realisierung von Booleschen Funktionen Normalformen zweistufiger
b= NaN
42 Beispiel: IEEE single precision: 0 10000000 00000000000000000000000 b= + 2 128 127 1.0 2 = 2 0 10000001 10100000000000000000000 b= + 2 129 127 1.101 2 = 6.5 1 10000001 10100000000000000000000 b= 2 129
kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen
5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,
C.34 C Normalformen (4) 5.7 Hauptsatz der Schaltalgebra. 5.7 Hauptsatz der Schaltalgebra (2) 5.7 Hauptsatz der Schaltalgebra (3)
5.6 Normalformen (4) Noch mehr aber besonders wichtige Begriffe kanonische disjunktive Normalform (KDNF, DKF) Disjunktion einer Menge von Mintermen mit gleichen Variablen Beispiel: KDNF zur Funktion f(,,,
Grundlagen der Technischen Informatik. 5. Übung
Grundlagen der Technischen Informatik 5. Übung Christian Knell Keine Garantie für Korrekt-/Vollständigkeit 5. Übungsblatt Themen Aufgabe 1: Aufgabe 2: Aufgabe 3: Aufgabe 4: Aufgabe 5: Boolesche Algebra
Satz von De Morgan A B A + B A + B A B A. Transistoren: A B U a A 0 0 Vcc Vcc Vcc V 0
Satz von De Morgan A + = A A A + A + A A 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 Transistoren: A U a A 0 0 Vcc 1 0 1 Vcc 1 1 0 Vcc 1 1 1 0 V 0 eispiel: Schaltung zur Erkennung gültiger
5. Aussagenlogik und Schaltalgebra
5. Aussagenlogik und Schaltalgebra Aussageformen und Aussagenlogik Boolesche Terme und Boolesche Funktionen Boolesche Algebra Schaltalgebra Schaltnetze und Schaltwerke R. Der 1 Aussagen Information oft
Übung 15. Zeige, dass man jede Formel äquivalent in eine neue Formel umwandeln kann, die nur die Operatoren und! verwendet.
Logik und Diskrete Strukturen (Sommer 28) Übung 5 Zeige, dass man jede Formel äquivalent in eine neue Formel umwandeln kann, die nur die Operatoren und! verwendet. Zum Beweis muss man nur prüfen, dass
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage
Aussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
2 Schaltalgebra bzw. Boole sche Algebra *
9 2 Schaltalgebra bzw. Boole sche Algebra * Die zweiwertige Logik nimmt eine besondere Bedeutung in der Rechnerentwicklung ein, da Daten mit physikalischen Größen besonders gut durch zwei Werte dargestellt
1 Analogtechnik und Digitaltechnik. C Schaltalgebra und kombinatorische Logik. 2 Digitale elektrische Schaltungen
Analogtechnik und Digitaltechnik C Schaltalgebra und kombinatorische Logik bei analoger Technik kontinuierliche Signale. Analog- und Digitaltechnik 2. Digitale elektrische Schaltungen 3. Logische Schaltungen
Aussagenlogik. Formale Methoden der Informatik WiSe 2010/2011 teil 7, folie 1 (von 50)
Aussagenlogik Formale Methoden der Informatik WiSe 2/2 teil 7, folie (von 5) Teil VII: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning,
Formelsammlung. Wahrscheinlichkeit und Information
Formelsammlung Wahrscheinlichkeit und Information Ein Ereignis x trete mit der Wahrscheinlichkeit p(x) auf, dann ist das Auftreten dieses Ereignisses verbunden mit der Information I( x): mit log 2 (z)
3 Boole'sche Algebra und Aussagenlogik
3 Boole'sche Algebra und Aussagenlogik 3- Boole'sche Algebra Formale Grundlagen der Informatik I Herbstsemester 22 Robert Marti Vorlesung teilweise basierend auf Unterlagen von Prof. emer. Helmut Schauer
Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie
Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf
Logik (Prof. Dr. Wagner FB AI)
Logik (Prof. Dr. Wagner FB AI) LERNZIELE: Über die Kenntnis und das Verständnis der gegebenen Definitionen hinaus verfolgt dieser Teil der Lehrveranstaltung die folgenden Lernziele: Bei gegebenen sprachlichen
Konjunktive und disjunktive Normalformen
Konjunktive und disjunktive Normalformen Nachdem gesprochen wurde, wie man Boolesche Terme unter einer Belegung der Variablen interpretiert und dass somit jeder Boolesche Term eine Boolesche Funktion repräsentiert,
Aufgabe. Gelten die folgenden Äquivalenzen?. 2/??
Äquivalenz Zwei Formeln F und G heißen (semantisch) äquivalent, falls für alle Belegungen A, die sowohl für F als auch für G passend sind, gilt A(F ) = A(G). Hierfür schreiben wir F G.. 1/?? Aufgabe Gelten
Informatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser
Informatik A Prof. Dr. Norbert Fuhr fuhr@uni-duisburg.de auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser 1 Teil I Logik 2 Geschichte R. Descartes (17. Jhdt): klassische
KAPITEL 5. Damit wird F n (B) selbst zu einer Booleschen Algebra und es gilt f(x) := f(x) 0(x) := 0 B 1(x) := 1 B
KAPITEL 5 Boolesche Polynome Polynome über R, d.h. reelle Funktionen der Form p(x) = a 0 + a 1 x + + a n x n, x R, sind schon aus der Schulmathematik bekannt. Wir beschäftigen uns nun mit Booleschen Polynomen,
Grundlagen der Informationsverarbeitung:
Grundlagen der Informationsverarbeitung: Schaltungsentwurf und Minimierungsverfahren Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild
TU9 Aussagenlogik. Daniela Andrade
TU9 Aussagenlogik Daniela Andrade daniela.andrade@tum.de 18.12.2017 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;) 2 /
Übung 4: Aussagenlogik II
Übung 4: Aussagenlogik II Diskrete Strukturen im Wintersemester 2013/2014 Markus Kaiser 8. Januar 2014 1/10 Äquivalenzregeln Identität F true F Dominanz F true true Idempotenz F F F Doppelte Negation F
1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
8. Tutorium Digitaltechnik und Entwurfsverfahren
8. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 9 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Systemorientierte Informatik 1
Systemorientierte Informatik. Grundlagen Digitaler Schaltungen.8 Schaltnetze aus Gattern und Leitungen.9 Boole sche Algebra. Minimierung Boole scher Funktionen. CMOS Komplegatter Die nächste Funktion,
Eingebettete Systeme
Einführung in Eingebettete Systeme Vorlesung 7 Bernd Finkbeiner 03/12/2014 finkbeiner@cs.uni-saarland.de Prof. Bernd Finkbeiner, Ph.D. finkbeiner@cs.uni-saarland.de 1 Schaltfunktionen! Schaltfunktion:
Signalverarbeitung 1
TiEl-F000 Sommersemester 2008 Signalverarbeitung 1 (Vorlesungsnummer 260215) 2003-10-10-0000 TiEl-F035 Digitaltechnik 2.1 Logikpegel in der Digitaltechnik In binären Schaltungen repräsentieren zwei definierte
Schaltalgebra und kombinatorische Logik
Schaltalgebra und kombinatorische Logik. Digitale elektrische Schaltungen 2. Beschreibung durch logische Ausdrücke 3. Boolesche Algebra 4. Schaltfunktionen 5. Synthese von Schaltungen 6. Schaltnetze *Die
Vorkurs Aussagenlogik
Vorkurs -- 3. ussagenlogik..25 ussagenlogik Rechnen mit Wahrheitswerten: oder, oder Digitalisieren und erechnen, eweisen erechenbarkeit, eweisbarkeit, Entscheidbarkeit: Vollständigkeit, Widerspruchsfreiheit!
Boolesche (Schalt-) Algebra (8)
Boolesche (Schalt-) Algebra (8) Karnaugh-Diagramm ist eine graphische Technik zur Darstellung und Vereinfachung von Booleschen Ausdrücken ist eine andere, zweidimensionale Darstellung von Wahrheitstabellen
Was bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik klassische Aussagenlogik: Syntax, Semantik Äquivalenz zwischen Formeln ϕ ψ gdw. Mod(ϕ) = Mod(ψ) wichtige Äquivalenzen, z.b. Doppelnegation-Eliminierung, DeMorgan-Gesetze,
Was bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur, Junktoren: t, f,,,,, Prinzip der strukturellen Induktion über Baumstruktur von Formeln, arithmetischen Ausdrücken usw. induktive
Technische Informatik - Eine Einführung
Martin-Luther-Universität Halle-Wittenberg Fachbereich Mathematik und Informatik Lehrstuhl für Technische Informatik Prof. P. Molitor Technische Informatik - Eine Einführung Boolesche Funktionen - Grundlagen
GETE DIGITAL TECHNIK CODIERUNG BCD: BINARY CODED DIGITAL. Hr. Houska
GETE DIGITAL TECHNIK Hr. Houska CODIERUNG Codes werden dazu verwendet, um Zahlen, Buchstaben und Zeichen in ander Darstellungsformen zu verwenden. So repräsentieren unterschiedliche Codes die verschiedenen
Was bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur Junktoren: t, f,,,,, aussagenlogische Formeln AL(P) induktive Definition: IA Atome (Aussagenvariablen) p, q, r,... P IS zusammengesetzte
Übungen zur Vorlesung Grundlagen der Rechnernetze. Zusätzliche Übungen
Übungen zur Vorlesung Grundlagen der Rechnernetze Zusätzliche Übungen Hamming-Abstand d Der Hamming-Abstand d zwischen zwei Codewörtern c1 und c2 ist die Anzahl der Bits, in denen sich die beiden Codewörter
1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
8 Boolesche Algebra. 8.1 Grundlegende Operationen und Gesetze
82 8 Boolesche Algebra Die Boolesche Algebra ist eine Algebra der Logik, die George Boole (1815 1864) als erster entwickelt hat. Sie ist die Grundlage für den Entwurf von elektronischen Schaltungen und
Schaltalgebra und kombinatorische Logik
Schaltalgebra und kombinatorische Logik. Digitale elektrische Schaltungen 2. Beschreibung durch logische Ausdrücke 3. Boolesche Algebra 4. Schaltfunktionen 5. Synthese von Schaltungen 6. Schaltnetze Wintersemester
Physikalisches Praktikum für Vorgerückte. an der ETH Zürich. vorgelegt von. Mattia Rigotti Digitale Elektronik
Physikalisches Praktikum für Vorgerückte an der ETH Zürich vorgelegt von Mattia Rigotti mrigotti@student.ethz.ch 14.02.2003 Digitale Elektronik Versuchsprotokoll 1 Inhaltverzeichnis 1. Zusammenfassung...
Normalformen von Schaltfunktionen
Disjunktive Normalform (DNF) Vorgehen: 2. Aussuchen der Zeilen, in denen die Ausgangsvariable den Zustand 1 hat 3. Die Eingangsvariablen einer Zeile werden UND-verknüpft a. Variablen mit Zustand 1 werden
Jeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =?
Grundlagen der Mathematik für Informatiker 1 Grundlagen der Mathematik für Informatiker 2 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl.
DuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 2 am 12.11.2010 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der
2. Vorlesung: Boolesche Algebra
2. Vorlesung: Boolesche Algebra Wiederholung Codierung, Decodierung Boolesche Algebra UND-, ODER-Verknüpfung, Negation Boolesche Postulate Boolesche Gesetze 1 Wiederholung 2 Bits und Bitfolgen Bit: Maßeinheit
BOOLSCHE ALGEBRA / SCHALTUNGSALGEBRA
BOOLSCHE ALGEBRA / SCHALTUNGSALGEBRA 1. Digitale Grundschaltungen 1.1 UND/AND-SCHALTUNG 0 0 0 1 0 0 0 1 0 1 1 1 x = a /\ b 1.2 ODER/OR-SCHALTUNG 0 0 0 0 1 1 1 0 1 1 1 1 x = a \/ b NICHT/NOT-SCHALTUNG A