Boolesche Algebra und Grundgatter

Die Boolesche Algebra beschäftigt sich mit dem Rechnen von Wahrheitswerten. Sie ist die Basis für den Entwurf von digitalen Schaltungen.

Mit Hilfe der logischen Operatoren AND, OR, NOT können beliebig viele Elemente verknüpft werden. Es gibt weitere Gatter wie XOR, NAND und NOR, diese lassen sich allerdings ebenso gut mit den Grundgattern AND, OR und NOT darstellen.
Boolesche Gatter sind notwendig, um elementare Boolesche Ausdrücke als physikalische Schaltung zu realisieren.

Schaltsymbole

AND A ∧ B
OR A ∨ B
NOT A
XOR A ⊕ B
NAND A ∧ B
NOR A ∨ B

Andere Schreibweise für XOR-Verknüpfung:(A ∧ B) ∨ (A ∧ B)

Gesetze

Kommutativgesetzea ∧ b = b ∧ aa ∨ b = b ∨ a
Assoziativgesetze(a ∧ b) ∧ c
= a ∧ (b ∧ c)
(a ∨ b) ∨ c
= a ∨ (b ∨ c)
Idempotenzgesetzea ∧ a = aa ∨ a = a
Distributivgesetzea ∧ (b ∨ c) =
(a ∧ b) ∨ (a ∧ c)
a ∨ (b ∧ c) =
(a ∨ b) ∧ (a ∨ c)
Neutralitätsgesetzea ∧ 1 = aa ∨ 0 = a
Extremalgesetzea ∧ 0 = 0a ∨ 1 = 1
Doppelnegationsgesetz¬(¬a) = a 
De Morgansche Gesetze¬(a ∧ b)
= ¬a ∨ ¬b
¬(a ∨ b)
= ¬a ∧ ¬b
Komplementärgesetzea ∧ ¬a = 0a ∨ ¬a = 1
Absorptionsgesetzea ∨ (a ∧ b) = aa ∧ (a ∨ b) = a

Literaturempfehlung

Technische Informatik 1: Grundlagen der Digitalen Elektronik

Möchtest du tiefer in die Materie einsteigen empfehlen wir das Werk "Technische Informatik 1: Grundlagen der Digitalen Elektronik". Es bietet einen Einstieg in die Elektronik und in die Gesetze der Physik und der Elektrotechnik. Des Weiteren werden Halbleiterbauelemente und darauf aufbauend elektronische Verknüpfungsglieder, Schaltnetze, Speicherglieder, Schaltwerke und integrierte Schaltungen behandelt.

Technische Informatik (100 Übungsaufgaben zu Grundlagen der Informatik)

Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Schaltnetze und Schaltwerke, Complementary Metal Oxide Semiconductor (CMOS), Binary Decision Diagram (BDD), Zahlendarstellung, Kodierung und Fehlererkennung, Verschlüsselung, Rechnerarchitektur, Programmierung, Assembler, Betriebssysteme, Dateiorganisation und weitere

Werbung

Schaltnetze

Werden mehrere Boolesche Gatter miteinander verknüpft, ist die Rede von einem Schaltnetz. Die Gatter sind dabei rückkopplungsfrei angeordnet, was bedeutet, dass die Ausgänge der Schaltung lediglich von den Werten der Eingangsvariablen abhängen. Ändert sich der Zustand am Eingang, so hat dies sofort Auswirkung auf den Ausgang, unabhängig von zuvor vorhandenen anderen Zuständen am Eingang. Weiterhin kann man beobachten, dass der Ausgangszustand für einen bestimmten Eingangszustand immer der gleiche ist.

ABCA ∧ BB ∨ C(A ∧ B) ∨ (B ∨ C)(A ∧ B) ∨ (B ∨ C)
0000001
0010110
0100110
0110110
1000001
1010110
1101110
1111110

Komplexere Schaltnetze

Häufig gibt man den Ausgängen der Gatter Namen, um speziell bei komplexen Schaltungen, die Übersicht zu bewahren.
In folgendem Beispiel, werden die Ausgänge S, T und U benutzt, um den Endwert der Schaltung zu berechnen.

ABCTSUX
0000011
0010110
0101101
0111101
1001000
1011101
1100110
1110110

Halbaddierer

Der Halbaddierer ist die einfachste Rechenschaltung. Ein Halbaddierer ist ein Schaltnetz, das 2 einstellige binäre Zahlen addieren kann. Das Schaltnetz besteht aus 2 Eingängen A und B, und 2 Ausgängen S und Ü. S steht hierbei für die Summe, Ü für den Übertrag. Die Summe wird durch eine XOR-Verknüpfung berechnet, der Übertrag durch eine AND-Verknüpfung.

ABSÜ
0000
0110
1010
1101

Volladdierer

Möchte man mehrere Zahlen addieren, benötigt man eine Schaltung die 3 einstellige binäre Zahlen addieren kann, da es zu einem Übertrag kommen kann und dieser mit addiert werden muss. Ein Volladierer ist ein Schaltnetz, das diese Funktion realisiert. Das Schaltnetz besteht aus 3 Eingängen A, B und Cin, und 2 Ausgängen S und Cout. Der Volladdierer setzt sich aus 2 Halbaddieren und einer OR-Verknüpfung zusammen.

ABCinCoutS
00000
00101
01001
01110
10001
10110
11010
11111

Werbung