03 Boolesche Algebra. Technische Grundlagen der Informatik
|
|
- Kristina Förstner
- vor 5 Jahren
- Abrufe
Transkript
1 03 Boolesche Algebra Technische Grundlagen der Informatik Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology
2 Inhalt Operationen der Booleschen Algebra Gesetze der Booleschen Algebra Funktionen über der Booleschen Algebra Normalformen Vereinfachen von Funktionen 2
3 Boolesche Algebra Der englische Mathematiker George Boole ( ) versuchte, Logik formal auszudrücken Entwickelte dazu 1847 die Algebra der Logik: Boolesche Algebra Diese arbeitet mit den Werten falsche Aussage und wahre Aussage Abbildung auf 0 und 1 3
4 1. Operationen der Booleschen Algebra Notation andere Schreibweisen Bezeichnung, & AND, UND Binäre Operationen + OR, ODER (2 Operanden) Überstreichung ( e ) NOT, NICHT Unäre Operation (1 Operand) a b a b a b a Rangfolge der Operatoren: vor vor 4
5 2. Gesetze der Booleschen Algebra Kommutativgesetz x y = y x x y = y x Assoziativgesetz (x y) z = x (y z) (x y) z = x (y z) Distributivgesetz x (y z) = (x y) (x z) x (y z) = (x y) (x z) Absorptionsgesetz x (x y) = x x (x y) = x Weitere Gesetze 0 x = x bzw. 1 x = x x x = 1 (Tautologie) bzw. x x = 0 (Kontradiktion) ( x) = x 5
6 2. Gesetze der Booleschen Algebra Anwendung, Beispiel 1 Aus x y = 0 und x y = 1 folgt y = x Beweis durch Umformen (Anwendung der Gesetze): y = y 0 = = y x x = = (y x) (y x) (y x) = 1 setzen: y = 1 y x = = y x sowie x = x 0 = = x x y = = x x x y = = 1 x y = = x y = = y x woraus die Gleichheit (y = x) folgt Linke Seite Rechte Seite 6
7 2. Gesetze der Booleschen Algebra Anwendung, Beispiel 2 Beweise (x y) ( x y) = 1 durch Umformen x y x y = x y x x y y = = x x y x y y = = 1 y x 1 = = 1 1 = 1 Beweise (x y) ( x y) = 0 durch Umformen x y x y = x x y y x y = = x x y y y x = = 0 y 0 x = = 0 0 = 0 7
8 2. Gesetze der Booleschen Algebra De Morgan Das de Morgansche Gesetz: x y = x y (x y) = x y Beweis durch Wahrheitstabelle a b a b (a b) a b a b
9 2. Gesetze der Booleschen Algebra De Morgan Erweiterung des Gesetzes von de Morgan: n bzw. x 1 x 2 x 3 x n = x i i=1 n x 1 x 2 x 3 x n = x i Durch vollständige Induktion nach n erhalten wir dann: n n i=1 bzw. x i = x i i=1 i=1 n n x i i=1 = x i i=1 9
10 3. Funktionen über der Booleschen Algebra e i {0,1} für i = 1,2,, n und a 0,1 f:,,, e n a n = 1; eine Eingangsvariable wird auf die Ausgangsvariable abgebildet f 1 e = 0 e = 1 a Funktionstyp f a 1.0 = 0 Nullfunktion f a 1.1 = e Identität f a 1.2 = e Negation f a 1.3 = 1 Einsfunktion f 1 Logische Funktionen mit einer Eingangsvariablen und einer Ausgangsvariablen 10
11 3. Funktionen über der Booleschen Algebra Funktionen mit zwei Eingangsvariablen : : j a 2.j = f 2.j e1, Funktionstyp 0 f 2. 0 a 2.0 = 0 Nullfunktion 1 f a 2.1 = Konjunktion, AND, 2 f a 2.2 = Konjunktion 3 f a 2.3 = Identität 4 f a 2.4 = Konjunktion 5 f a 2.5 = Identität 6 f a 2.6 = Antivalenz, XOR 7 f a 2.7 = Disjunktion, OR, 8 f a 2.8 = = Konjunktion, NOR 9 f a 2.9 = Äquivalenz 10 f a 2.10 = Negation 11 f a 2.11 = Disjunktion 12 f a 2.12 = Negation 13 f a 2.13 = Disjunktion 14 f a 2.14 = = Disjunktion, NAND 15 f a 2.15 = 1 Einsfunktion 11
12 3. Funktionen über der Booleschen Algebra Implikation (oder Subjunktion) Symbol: entspricht dem Ausdruck
13 3. Funktionen über der Booleschen Algebra Äquivalenz (oder Bijunktion) Symbol: bzw. entspricht dem Ausdruck
14 3. Funktionen über der Booleschen Algebra NAND und NOR NAND (NOT AND, Verneintes UND) NNNN entspricht dem Ausdruck: ( ) NOR (NOT OR, Verneintes ODER) NNN entspricht dem Ausdruck: ( ) NNNN NNN
15 3. Funktionen über der Booleschen Algebra Tautologie Tautologie Verknüpfung von Wahrheitswerten, die immer den Wert 1 (wahre Aussage) liefert Beispiele: (e e ), (e e ), ( ) Aufstellen der Wahrheitstabellen: e e e e e ( )
16 3. Funktionen über der Booleschen Algebra Kontradiktion Kontradiktion Verknüpfung von Wahrheitswerten, die immer den Wert 0 (falsche Aussage) liefert Beispiele: (e e), ( e e) e e e e e e
17 3. Funktionen über der Booleschen Algebra Funktionale Vollständigkeit Unter funktionaler Vollständigkeit versteht man die Eigenschaft einer Menge Boolescher Funktionen, alle möglichen Logikoperationen darstellen zu können. So ist beispielsweise die Menge {, } funktional vollständig, weil sich durch die Funktionen selbst oder durch Kombination der Funktionen alle denkbaren Logikoperationen darstellen lassen. a b = ( a b) Weitere Beispiele? {NNNN} universelle Operation/Funktion {NNN} universelle Operation/Funktion {, } 17
18 4. Normalformen Vollform = Ausdruck, in dem jede Variable genau einmal vorkommt Vollkonjunktion (Minterm) = Ausdruck, in dem sämtliche vereinbarten Variablen (bzw. deren Negate) konjunktiv verbunden sind z.b.: Vereinbarte Variablen: a, b, c (a b c) Volldisjunktion (Maxterm) = Ausdruck, in dem sämtliche vereinbarten Variablen (bzw. deren Negate) disjunktiv verbunden sind z.b.: (a b c ) Negationen nur in atomarer Form a b nicht atomar a b atomar 18
19 4. Normalformen Die disjunktive Normalform (DNF) ist jene Darstellungsart, bei der eine Reihe von Vollkonjunktionen disjunktiv verknüpft wird. Negationen treten nur in atomarer Form auf. z.b.: (a b c) (a b c) ( a b c) Die konjunktive Normalform (KNF) ist jene Darstellungsart, bei der eine Reihe von Volldisjunktionen konjunktiv verknüpft wird. Negationen treten nur in atomarer Form auf. z.b.: ( a b c ) (a b c ) (a b c ) Andere Bezeichnungen: kanonische disjunktive/konjunktive Normalform (KDNF/KKNF) vollständige disjunktive/konjunktive Normalform 19
20 4. Normalformen Disjunktive Normalform (DNF) Beispiel: f(,, e 3 ) = ( ) ( e 3 ) Zeile e 3 e 3 ( ) ( e 3 ) Alle Zeilen, in denen die Ergebnisspalte den Wert 1 aufweist: Zeile Vollkonjunktion 2 ( e 3 ) 4 ( e 3 ) 7 ( e 3 ) ( e 3 ) ( e 3 ) ( e 3 ) 20
21 4. Normalformen Konjunktive Normalform (KNF) Beispiel: ( ) e 3 Zeile e 3 ( ) e Alle Zeilen, in denen die Ergebnisspalte den Wert 0 aufweist Zeile Vollkonjunktion Volldisjunktion 1 ( e 3 ) ( e 3 ) 3 ( e 3 ) ( e 3 ) 5 ( e 3 ) ( e 3 ) ( e 3 ) ( e 3 ) ( e 3 ) 21
22 5. Vereinfachen von Funktionen Irrelevante Variablen werden eliminiert Anwendung z.b. bei Minimierung von Schaltungen Grundsätzlich durch Umformungen (anhand der Gesetze) möglich Ergebnisse sind aber nicht immer minimal! Systematisches Vorgehen sinnvoll/erforderlich Minimierungsverfahren: Karnaugh & Veitch (K&V) 22
23 5. Vereinfachen von Funktionen K&V Besonders bei Funktionen mit 4 oder weniger Variablen sinnvoll Bei mehr Variablen geht Vorteil der graphischen Veranschaulichung zunehmend verloren! Das KV-Diagramm wird aus Vierecken zusammengebaut Jedes der Felder entspricht einer Vollkonjunktion KV-Diagramm......für 2 Variablen:...für 3 Variablen:...für 4 Variablen: e 3 e 3 e 3 e 3 e 3 e 3 e 3 e 4 e 4 e 3 e 4 23
24 5. Vereinfachen von Funktionen K&V Ablauf Schritt 1: Zeichnen und Befüllen des KV-Diagramms 1 in Feld eintragen, wenn entsprechende Vollkonjunktion vorkommt sonst: 0 eintragen Schritt 2: möglichst vieler, die in benachbarten Feldern stehen, zu Blöcken zusammenfassen 2, 4, 8 (oder 16) Felder können zusammengefasst werden Nicht zusammenfassbarer müssen auch übernommen werden Überlappungen von zusammengefassten Blöcken möglich Felder, die sich am Rand befinden, grenzen an gegenüberliegende Randfelder (!) Wenn zwei Felder zusammengefasst werden, werden in der DNF zwei Vollkonjunktionen zu einem Ausdruck zusammengefasst. Die Variable, die einen Einser im negierten und im nicht negierten Bereich hat, wird gestrichen. 24
25 5. Vereinfachen von Funktionen K&V Vereinfachen - Beispiel e f(,, e 3, e 4 ) = ( e 3 e 4 ) ( e 3 e 4 ) Wenn zwei Felder zusammengefasst werden, werden in der DNF zwei Vollkonjunktionen zu einem Ausdruck zusammengefasst. Die Variable, die einen Einser im negierten und im nicht negierten Bereich hat, wird gestrichen: ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 ) e 4 e 4 = ( e 3 ) 25
26 5. Vereinfachen von Funktionen K&V Einige mögliche Zweierblöcke f,, e 3, e 4 = e 3 f,, e 3, e 4 = e 3 e f,, e 3, e 4 = e 3 e 4 f,, e 3, e 4 = e 3 26
27 5. Vereinfachen von Funktionen K&V Viererblöcke und ein Achterblock f,, e 3, e 4 = e 4 f,, e 3, e 4 = e f,, e 3, e 4 = e 3 f,, e 3, e 4 = 27
28 5. Vereinfachen von Funktionen K&V Einser mehrfach verwenden (Foli von 2) Bsp: f(,, e 3, e 4 ) = ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) e
29 5. Vereinfachen von Funktionen K&V Einser mehrfach verwenden (Foli von 2) Mögliche Einteilung: e f(,, e 3, e 4 ) = ( FALSCH weil nicht minimal e 4 ) ( e 3 e 4 ) Ein Einser kann auch für mehrere Blöcke verwendet werden, z.b.: e f(,, e 3, e 4 ) = ( e 4 ) ( e 3 ) RICHTIG 29
30 5. Vereinfachen von Funktionen K&V Beispiel (Foli von 4) Bsp.: Vereinfachen Sie den folgenden Ausdruck mit dem Verfahren nach Karnaugh & Veitch: f(,, e 3, e 4 ) = ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 )
31 5. Vereinfachen von Funktionen K&V Beispiel (Foli von 4) zwei mögliche Blockeinteilungen: (1) (2) Gibt es noch weitere mögliche Blockeinteilungen? 31
32 5. Vereinfachen von Funktionen K&V Beispiel (Folie 3 von 4) (1) ( e 3 e 4 ) ( e 3 e 4 ) e ( e 3 e 4 ) ( e 3 e 4 ) e 3 e ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) e 3 e 4 f,, e 3, e 4 = ( e 4 ) ( e 3 e 4 ) ( e 3 ) ( e 4 ) 32
33 5. Vereinfachen von Funktionen K&V Beispiel (Folie 4 von 4)..oder (2) ( e 3 e 4 ) ( e 3 e 4 ) e 3 e ( e 3 e 4 ) ( e 3 e 4 ) e 3 e ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) e 3 e 4 e 4 f,, e 3, e 4 = ( e 3 e 4 ) ( e 3 e 4 ) ( e 3 e 4 ) ( e 4 ) 33
34 5. Vereinfachen von Funktionen K&V Vereinfachen Don t Care Minimale disjunktive Form Minimale konjunktive Form 0 X X f,, e 3, e 4 = ( e 3 e 4 ) ( e 3 e 4 ) f,, e 3, e 4 = ( ) ( e 3 ) ( e 4 ) 34
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
MehrSchaltfunktion, 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
MehrDuE-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
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 3 am 19.11.2010 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der
MehrRechnerstrukturen, 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
Mehrf 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)]
MehrLogische Ä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
MehrTechnische 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
Mehr5. 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
MehrTeil 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
MehrGrundlagen 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,
MehrAllgemeingü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
MehrRechnerstrukturen. 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
MehrEinfü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
MehrAussagenlogik. 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
Mehr2.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
MehrTeil 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
Mehrb= 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
MehrAussagenlogik. 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,
MehrLogische 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
MehrAlgorithmen & 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
MehrBoolesche (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,
Mehr2. 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
MehrInformatik 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
MehrSatz 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
Mehr2. 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
Mehr1. 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
Mehr11. 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!
Mehr6. Vorlesung: Minimalformen
6. Vorlesung: Minimalformen Wiederholung Minterme Maxterme Disjunktive Normalform (DN) Konjunktive Normalform (KN) Minimalformen KV-Diagramme 24..26 fällt aus wegen Dozentenfachexkursion 2 Normalformen
MehrBoolesche 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),
MehrRechnerstrukturen, 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.
Mehr8 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
MehrMathematische 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
Mehr1. Logische Verknüpfungen
1. Logische Verknüpfungen 1.1 UND - Verknüpfung Mathematik: X = A Schaltzeichen: A & X Wahrheitstabelle: A X 0 0 0 0 1 0 1 0 0 1 1 1 Am Ausgang eines UND Gliedes liegt nur dann der Zustand 1, wenn an allen
MehrAnwendung Informatik Daten verwalten (2) Ursprüngliche Information Logische Verknüpfungen als Grundlage für die Informationsgewinnung
Agenda für heute, 20. November 2009 Daten verwalten (2): Drei Stufen der Datenverwaltung Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: Wahrheitstabellen Anwendung
MehrGETE 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
MehrTechnische Informatik I
Rechnerstrukturen Dario Linsky Wintersemester 200 / 20 Teil 2: Grundlagen digitaler Schaltungen Überblick Logische Funktionen und Gatter Transistoren als elektronische Schalter Integrierte Schaltkreise
MehrAussagenlogik. 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,
Mehrkanonische 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(,,,
MehrC.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(,,,
MehrDarstellung von negativen binären Zahlen
Darstellung von negativen binären Zahlen Beobachtung für eine beliebige Binärzahl B, z.b. B=110010: B + NOT(B) ---------------------------------------------- = B + NOT(B) 1 + (Carry) ----------------------------------------------
MehrLogik (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.
MehrN Bit binäre Zahlen (signed)
N Bit binäre Zahlen (signed) n Bit Darstellung ist ein Fenster auf die ersten n Stellen der Binär Zahl 0000000000000000000000000000000000000000000000000110 = 6 1111111111111111111111111111111111111111111111111101
MehrKonjunktive 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,
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
Mehrder einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr
Kapitel 2 Grundbegriffe der Logik 2.1 Aussagen und deren Verknüpfungen Eine Aussage wie 4711 ist durch 3 teilbar oder 2 ist eine Primzahl, die nur wahr oder falsch sein kann, heißt logische Aussage. Ein
MehrVorkurs 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
MehrLogik (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
MehrDIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE
Seite 1 von 23 DIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE Inhalt Seite 2 von 23 1 SCHALTUNGS- SYNTHESE UND ANALYSE... 3 1.1 NORMALFORM... 5 1.2 UND NORMALFORM... 5 1.3 ODER NORMALFORM... 7 1.4
MehrAlgebra 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
MehrGrundlagen der Rechnerarchitektur
Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Kapitel 2 Kombinatorische
MehrBOOLSCHE 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
MehrKapitel 3: Boolesche Algebra
Inhalt: 3.1 Grundlegende Operationen und Gesetze 3.2 Boolesche Funktionen u. u. ihre Normalformen 3.3 Vereinfachen von booleschen Ausdrücken 3.4 Logische Schaltungen 3.1 Grundlegende Operationen und Gesetze
MehrAussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung
Tobias Krähling email: Homepage: 13.10.2012 Version 1.2 Zusammenfassung Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere
Mehr1. Boolesche Algebra und Schaltalgebra
1 oolesche lgebra und Schaltalgebra Folie 1 1. oolesche lgebra und Schaltalgebra 1.1 Was ist Informatik? Definition des egriffs Informatik Die Informatik ist die Wissenschaft, die sich mit der systematischen
MehrGrundlagen 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)
MehrBisher. minimale DNF. logischen Formeln Booleschen Funktionen Schaltungen
Bisher Klassische Aussagenlogik (Syntax, Semantik) semantische Äquivalenz von Formeln äquivalentes Umformen von Formeln (syntaktisch) Normalformen: NNF, DNF, CNF, kanonische DNF und CNF Ablesen kanonischer
MehrEingebettete 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:
MehrWas 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
MehrThema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht
Thema: Logik: 2. Teil Übersicht logische Operationen Name in der Logik Symbol Umgangssprachlicher Name Negation (Verneinung) Nicht Konjunktion ^ Und Disjunktion v Oder Subjunktion (Implikation) Bijunktion
MehrMinimierung von logischen Schaltungen
Minimierung von logischen Schaltungen WAS SIND LOGISCHE SCHALTUNGEN Logische Verknüpfungszeichen: & = Logisches Und-Verknüpfung (Konjunktion). V = Logische Oder-Verknüpfung (Disjunktion). - = Nicht (Negation).
MehrWas 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,
MehrRechnerstrukturen. 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
MehrDuE-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
MehrII. 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
MehrRechnerstrukturen 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
Mehr183.580, WS2012 Übungsgruppen: Mo., 22.10.
VU Grundlagen digitaler Systeme Übung 2: Numerik, Boolesche Algebra 183.580, WS2012 Übungsgruppen: Mo., 22.10. Aufgabe 1: Binäre Gleitpunkt-Arithmetik Addition & Subtraktion Gegeben sind die Zahlen: A
MehrGrundlagen 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
MehrDefinition (Modus Ponens) Wenn A, dann B. A gilt Also, gilt B
Zusammenfassung der letzten LVA Wenn das Kind schreit, hat es Hunger Das Kind schreit Also, hat das Kind Hunger Fakt Korrektheit dieser Schlussfigur ist unabhängig von den konkreten Aussagen Einführung
MehrGeschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Begriff Logik wird im Alltag vielseitig verwendet
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
MehrWas ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
MehrLehrveranstaltung: Digitale Systeme. KS-Praktikums-Vorbereitung Dipl.-Inf. Markus Appel , , ,
Lehrveranstaltung: Digitale Systeme KS-Praktikums-Vorbereitung Dipl.-Inf. Markus Appel 24.04.2012, 25.04.2012, 26.04.2012, 27.04.2012 Übersicht Kombinatorische Schaltungen n-bit-addierer Minimierungsverfahren
MehrRü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
MehrTechnische 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@}
MehrZusammenfassung der letzten LVA. Einführung in die Theoretische Informatik. Syntax der Aussagenlogik. Inhalte der Lehrveranstaltung
Zusammenfassung Zusammenfassung der letzten LVA Einführung in die Theoretische Informatik Wenn das Kind schreit, hat es Hunger Das Kind schreit Also, hat das Kind Hunger Christina Kohl Alexander Maringele
MehrGeschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen
MehrRü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
MehrDigitalelektronik - Inhalt
Digitalelektronik - Inhalt Grundlagen Signale und Werte Rechenregeln, Verknüpfungsregeln Boolesche Algebra, Funktionsdarstellungen Codes Schaltungsentwurf Kombinatorik Sequentielle Schaltungen Entwurfswerkzeuge
MehrZusammenfassung der letzten LVA. Einführung in die Theoretische Informatik. Syntax der Aussagenlogik. Inhalte der Lehrveranstaltung
Zusammenfassung Zusammenfassung der letzten LVA Einführung in die Theoretische Informatik Christina Kohl Alexander Maringele Georg Moser Michael Schaper Manuel Schneckenreither Institut für Informatik
MehrSignalverarbeitung 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
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Notieren Sie die Definitionen der
Mehr2.3 Logikoptimierung. Überblick digitale Synthese. Logikoptimierung
2.3 Logikoptimierung Logikoptimierung Überblick digitale Synthese Logikoptimierung Begriffe Mehrstufige Logik Zweistufige Logik:..Exakte Verfahen..Heuristische Verfahren..Expansion/ Reduktion..Streichen
MehrSystemorientierte 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,
MehrN Bit binäre Zahlen (signed)
N Bit binäre Zahlen (signed) n Bit Darstellung ist ein Fenster auf die ersten n Stellen der Binär Zahl 0000000000000000000000000000000000000000000000000110 = 6 1111111111111111111111111111111111111111111111111101
MehrKapitel 2. Boolesche Algebra. Prof. Dr. Dirk W. Hoffmann. Hochschule Karlsruhe w University of Applied Sciences w Fakultät für Informatik
Kapitel 2 oolesche lgebra Prof. Dr. Dirk W. Hoffmann Hochschule Karlsruhe w University of pplied Sciences w Fakultät für Informatik Schaltalgebra, und sind Operatoren über der Menge {0,1} a b a b 0 0 0
MehrFormale Grundlagen (Nachträge)
Inhaltsverzeichnis 1 Aussagenlogik: Funktionale Vollständigkeit................... 1 Bit-Arithmetik mit logischen Operationen.................... 3 Prädikatenlogik: Eine ganz kurze Einführung..................
MehrComputational 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
MehrEin Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt.
4. Technische Realisierung Sie erinnern sich: Ein Signal ist eine zeitlich veränderliche physikalische Größe, die eine auf sie abgebildete Information trägt. Hier: physikalische Größe = elektrische Spannung
MehrKleine lateinische Buchstaben wie z. B. p, q, r, s t, usw.
1.1 Aussagenlogik Grundlagen der Mathematik 1 1.1 Aussagenlogik Definition: Aussage Eine Aussage im Sinne der Logik ist ein formulierter Tatbestand, der sich bei objektiver Prüfung immer eindeutig als
MehrLogik 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
MehrÜ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
MehrElectronic Design Automation (EDA) Logikoptimierung
Electronic Design Automation (EDA) Logikoptimierung Überblick digitale Synthese Logikoptimierung Begriffe Mehrstufige Logik Zweistufige Logik: Exakte Verfahren... Heuristische Verfahren... Expansion/Reduktion...
Mehr4 Schaltalgebra. Hochschule für Angewandte Wissenschaften Hamburg FACHBEREICH ELEKTROTECHNIK UND INFORMATIK DIGITALTECHNIK 4-1
4 Schaltalgebra 4. Axiome; Signale und Schaltfunktionen Der Entwurf einer Digitalschaltung mit vorgegebener Funktion erfordert die Manipulation der verschiedenen Eingangssignale auf eine Weise, die in
MehrNormalformen 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
MehrMathematik 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
Mehr3 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
Mehr2 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
MehrA.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
Mehr