Schaltalgebra. Prof. Metzler

Ähnliche Dokumente
2. Funktionen und Entwurf digitaler Grundschaltungen

1. Logische Verknüpfungen

Informationsverarbeitung auf Bitebene

Kapitel 2. Boolesche Algebra. Prof. Dr. Dirk W. Hoffmann. Hochschule Karlsruhe w University of Applied Sciences w Fakultät für Informatik

Kombinatorische Logik, Schaltalgebra

Logische Aussagen können durch die in der folgenden Tabelle angegebenen Operationen verknüpft werden.

Einführung in die 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

2.1 Boole sche Funktionen

Boolesche Algebra (1)

4 Schaltalgebra. Hochschule für Angewandte Wissenschaften Hamburg FACHBEREICH ELEKTROTECHNIK UND INFORMATIK DIGITALTECHNIK 4-1

Schaltfunktion, Definition

Vorkurs Mathematik für Informatiker 5 Logik, Teil 1

Grundlagen der Informationverarbeitung

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18

Vorkurs Mathematik für Informatiker Aussagenlogik -- Thomas Huckle Stefan Zimmer Matous Sedlacek,

1. Boolesche Algebra und Schaltalgebra

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18

GETE DIGITAL TECHNIK CODIERUNG BCD: BINARY CODED DIGITAL. Hr. Houska

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen

03 Boolesche Algebra. Technische Grundlagen der Informatik

Rückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen

Grundlagen der Rechnerarchitektur. Binäre Logik und Arithmetik

DV1_Kapitel_4.doc Seite 4-1 von 28 Rüdiger Siol :29

Grundlagen der Technischen Informatik

DIGITALTECHNIK 06 SCHALTUNGS- SYNTHESE UND ANALYSE

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie

Rechengesetze und ihre Anwendungen. a + b = b + a. Assoziativgesetz ( Verbindungsgesetz ) a + ( b + c ) Distributivgesetz ( Verteilungsgesetz )

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise

Technische Informatik 3. Vorlesung

, SS2012 Übungsgruppen: Do., Mi.,

Logische Äquivalenz. Definition Beispiel 2.23

f ist sowohl injektiv als auch surjektiv.

Einführung in die Informatik I

Algebra mit Schaltungen I Städtisches Gymnasium Bad Laasphe

Einführung in die technische Informatik

Aufgabenblatt Punkte. Aufgabe 1 (Negation) Seien e R, n, m, k N und. Negieren Sie φ. 4. Lösung Es gilt

Mathematische Grundlagen I Logik und Algebra

Signalverarbeitung 1

2. Vorlesung: Boolesche Algebra

Punktrechnung geht vor Strichrechnung 3*4 + 5 = = 17. Das Minuszeichen vor einem Produkt ändert nur bei einem Faktor das Vorzeichen.

Münchner Volkshochschule. Planung. Tag 02

II. Grundlagen der Programmierung

1 Rechnen. Addition rationaler Zahlen gleicher Vorzeichen Summand + Summand = Summe

Aussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1

Digitaltechnik. KV-Diagramm

Vorwort. Gerd Wöstenkühler. Grundlagen der Digitaltechnik. Elementare Komponenten, Funktionen und Steuerungen ISBN:

BOOLSCHE ALGEBRA / SCHALTUNGSALGEBRA

Technische Grundlagen der Informatik

Grundlagen der Technischen Informatik. 6. Übung. Christian Knell Keine Garantie für Korrekt-/Vollständigkeit

Rechnenund. Systemtechnik

Mengen und Abbildungen

8 Boolesche Algebra. 8.1 Grundlegende Operationen und Gesetze

Stichwortverzeichnis. Gerd Wöstenkühler. Grundlagen der Digitaltechnik. Elementare Komponenten, Funktionen und Steuerungen ISBN:

Logik für Informatiker

Rechnerstrukturen. Michael Engel und Peter Marwedel WS 2013/14. TU Dortmund, Fakultät für Informatik

Algorithmen & Programmierung. Logik

der einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr

11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!

Schaltalgebra und kombinatorische Logik

3 Boole'sche Algebra und Aussagenlogik

Boolesche (Schalt-) Algebra (1)

Schaltalgebra und kombinatorische Logik

Digitalelektronik Einführung Prof. Metzler

Logik für Informatiker

Physikalisches Praktikum für Vorgerückte. an der ETH Zürich. vorgelegt von. Mattia Rigotti Digitale Elektronik

Theorie der Informatik. Theorie der Informatik. 2.1 Äquivalenzen. 2.2 Vereinfachte Schreibweise. 2.3 Normalformen. 2.

Markus Kühne Seite Digitaltechnik

Aufgabe 1. Aufgabe 2. Abbildung 1: Schaltung für die Multiplikation mit 4

2 Schaltalgebra bzw. Boole sche Algebra *

Digital Design. Digital Design SS Prof. Dr. Richard Roth. 6 SWS SU und Übungen

Logik (Prof. Dr. Wagner FB AI)

Inhaltsverzeichnis. Inhalt. 1 Einleitung

Digitalelektronik: Einführung

1. Grundlagen der Informatik Boolesche Algebra / Aussagenlogik

Teil 1: Digitale Logik

Schaltalgebra in der Schule

Grundbegriffe aus Logik und Mengenlehre

Mathematikvorkurs. Fachbereich I. Sommersemester Elizaveta Buch

Aussagenlogik. Formale Methoden der Informatik WiSe 2010/2011 teil 7, folie 1 (von 50)

Ernst-Moritz-Arndt-Universität Greifswald Fachbereich Physik Elektronikpraktikum

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Mathe Leuchtturm Übungsleuchtturm =Übungskapitel

Halbaddierer - und Volladdierer - Schaltungen

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Umgekehrter Dreisatz Der umgekehrte Dreisatz ist ein Rechenverfahren, das man bei umgekehrt proportionalen Zuordnungen anwenden kann.

DuE-Tutorien 17 und 18

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

Transkript:

Schaltalgebra 1

Schaltalgebra (oolsche lgebra) George oole, britischer Mathematiker, 1815-1864 "The mathematical analysis of logic (lgebra zur systematischen ehandlung von Logik) 1847, 1854 1938 leitet Claude Elwood Shannon (1916-2001, US, ell Labs) eine 2-wertige oolesche lgebra zur eschreibung binärer Schaltung ab (Schaltalgebra, Switching Theory) Sinn: nalyse, Vereinfachung und Synthese von digitalen Schaltungen nach definierten Gesetzen George oole egriffe: xiom: Ursatz, der nicht bewiesen (abgeleitet) werden kann Postulat: Forderung; unbeweisbare, aber unentbehrliche nnahme Theorem: Lehrsatz 2

Schaltalgebra (oolsche lgebra) Wie in der normalen lgebra existieren auch in der Schaltalgebra Variable und Konstante. Definition: Die Schaltalgebra kennt nur zwei Konstante: 0 und 1. Sie entsprechen den logischen Zuständen, die eine beliebige Variable annehmen kann. Definition: Konstanten der Schaltalgebra sind Größen, die die Werte oder Zustände 0 oder 1 annehmen können. Veranschaulichung der Variablen und ihre möglichen Werte 0 und 1 Veranschaulichung der Konstanten 0 und 1 3

Postulat der UND-Verknüpfung Postulat der ODER-Verknüpfung 4

Postulat der NICHT-Verknüpfung 5

Unter Heranziehung der ooleschen Postulate (nnahmen, Voraussetzungen) können jetzt die ooleschen Theoreme (Lehrsätze) aufgestellt werden. Die Rechenregeln für die Verknüpfung einer Variablen mit einer Konstanten oder einer Variablen mit sich selbst bzw. ihrer Negation werden Theoreme genannt. Die Richtigkeit dieser Lehrsätze kann jederzeit mit Hilfe der Postulate überprüft werden (z.. unter Verwendung von Wahrheitstafeln). 6

Theorem der UND-Verknüpfung 7

Theorem der ODER-Verknüpfung 8

Theorem der NICHT-Verknüpfung Zwei Negationsstriche heben sich gegenseitig auf 9

Kommutativgesetz (Vertauschungsgesetz) Definition: Die Reihenfolge, in der Variable der UND-Verknüpfung unterzogen werden, ist beliebig (10). Sie hat keinen Einfluß auf das Ergebnis. Definition: Die Reihenfolge, in der Variable der ODER-Verknüpfung unterzogen werden, ist beliebig (11). Sie hat keinen Einfluß auf das Ergebnis. 10

Kommutativgesetz (Vertauschungsgesetz) Kommutativgesetz der UND-Verknüpfung Kommutativgesetz der ODER-Verknüpfung 11

ssoziativgesetz (Verbindungs- oder Zuordnungsgesetz) Definition: Die Reihenfolge der Zuordnung der Variablen bei der UND- Verknüpfung ist beliebig (12). Sie hat keinen Einfluß auf das Ergebnis. 12

ssoziativgesetz (Verbindungs- oder Zuordnungsgesetz) Definition: Die Reihenfolge der Zuordnung der Variablen bei der ODER- Verknüpfung ist beliebig (13). Sie hat keinen Einfluß auf das Ergebnis. 13

Distributivgesetz (Verteilungsgesetz) Das Distributiv- oder Verteilungsgesetz hat eine große praktische edeutung bei der Umformung und Vereinfachung schaltalgebraischer Gleichungen. Es entspricht der Regel über das usmultiplizieren und usklammern eines Faktors in der normalen lgebra. ezogen auf die beiden logischen Grundverknüpfungen unterscheidet man das konjunktive und das disjunktive Distributivgesetz. 14 15 konjunktives Distributivgesetz disjunktives Distributivgesetz 14

De Morgansche Gesetze Mit ihnen können gegebene Digitalschaltungen so umgerechnet werden, dass man nur mit NND- oder NOR-Gattern auskommt. Dies ermöglicht den Einsatz gleichartiger auteile und damit kostengünstigere, einfachere Schaltungen. ugustus De Morgan *1806 in Indien 1871 in England Dualität: Jedes Gesetz der Schaltalgebra bleibt gültig, wenn 0 und 1 sowie und vertauscht werden Erstes De Morgansches Gesetz: Z = = 16 Zweites De Morgansches Gesetz: Z = = 17 15

De Morgansche Gesetze Erstes De Morgansches Gesetz: Z = = 16

De Morgansche Gesetze Zweites De Morgansches Gesetz: Z = = 17

De Morgansche Gesetze Folgende Gleichung ist zu vereinfachen: P = R S R S Tip: Z = = Gleichung: 6, 7, 8 18

indungsregel Die Verknüpfung mehrerer Variablen durch UND und ODER kann zu Mehrdeutigkeiten führen. Die Gleichung Z = C kann auf zwei verschiedene Weisen aufgefasst werden. Variante 1: Z = ( ) C Variante 2: Z = ( C) Definition: Gemäß der Priorität Punktrechnung geht vor Strichrechnung aus der normalen lgebra bindet in der Schaltalgebra eine UND- Verknüpfung stets stärker als eine ODER-Verknüpfung. 19

NND- und NOR-Funktion Die Schaltalgebra ist auf drei Grundfunktionen aufgebaut (UND, ODER und NICHT). Mit diesen Funktionen können beliebige Verknüpfungsschaltungen hergestellt werden. Das 1. Morgansche Gesetz zeigt, dass jede UND-Verknüpfung mit einer ODER-Verknüpfung und mehreren NICHT-Funktionen gebildet werden kann. 20

NND- und NOR-Funktion = 1. Morgansche Gesetz = = 21

NND- und NOR-Funktion Definition: Jede gewünschte Verknüpfungsschaltung lässt sich nur mit NOR-Gattern aufbauen. 22

NND- und NOR-Funktion = 2. Morgansche Gesetz = = 23

NND- und NOR-Funktion Definition: Jede gewünschte Verknüpfungsschaltung lässt sich nur mit NND-Gattern aufbauen. 24

ufgaben Folgende Gleichungen sind zu vereinfachen: a) Z = C b) Y = C C c) X = ( C) ( C) 25

26 ufgaben ) ( ) ( ) ( ) ( ) ( S R P N M C X D C Y C Q R S Z = = = a) b) c) Rechnen Sie die Gleichungen so um, dass die Schaltung a) nur mit NND-Gliedern, b) nur mit NOR-Gliedern aufgebaut werden kann.