Boolesche Funktion

Eine Boolesche Funktion (auch logische Funktion) ist eine mathematische Funktion der Form $F\colon B^{n}\to B^{1}$ (teilweise auch allgemeiner $F\colon B^{n}\to B^{m}$ ). $B$ ist dabei eine Boolesche Algebra.

Der Funktionsbezeichner, hier $F$ , wird für Boolesche Funktionen im Allgemeinen groß gewählt, da in einer Booleschen Algebra die verwendeten Größen bevorzugt mit Großbuchstaben bezeichnet werden. Boolesche Funktionen sind dann in Ausdrücke der Booleschen Algebra einsetzbar und können wie Variablen behandelt werden. Die Verknüpfungen einer Booleschen Algebra wie ∧, ∨ oder ¬ sehen aus wie spezielle ein- und zweistellige Boolesche Funktionen, sie sind jedoch nicht mit den entsprechenden Booleschen Funktionen zu verwechseln. Es handelt sich lediglich um Verknüpfungen auf einer Menge, über die noch nichts weiter bekannt ist, während für die Definitions- und Wertebereiche einer Booleschen Funktion bereits alle Axiome einer Booleschen Algebra als gegeben vorausgesetzt werden können.

Unterscheidung nach Stelligkeit

Wie bei der Untersuchung anderer Funktionstypen auch, unterscheidet man Boolesche Funktionen gerne nach ihrer Stelligkeit. Aufgrund der auf die Binärzahlen eingeschränkten Definitions- und Wertebereiche sind niederstellige Boolesche Funktionen verhältnismäßig einfach zu handhaben. So gibt es überhaupt nur 4 verschiedene einstellige Boolesche Funktionen, die man als Identität, Negation, konstante 1 und konstante 0 bezeichnen kann. Für die Boolesche Algebra ist hier insbesondere die Negation von Bedeutung. Die Anzahl der zweistelligen Booleschen Funktionen beträgt bereits 16. Zu den wichtigsten zählen dabei Konjunktion, Disjunktion, Äquivalenz, Antivalenz, NAND und NOR. Es existieren allgemein $2^{2^{n}}$ $n$ -stellige Boolesche Funktionen. Beispielsweise existieren $2^{2^{4}}=2^{16}=65536$ verschiedene vierstellige Boolesche Funktionen. Im Folgenden werden Boolesche Funktionen verschiedener Stelligkeit näher beschrieben.

Nullstellige Funktion

$n=0$

2^2⁰ = 2¹ = 2

Das sind die zwei Konstanten 1 und 0, auch wahr und falsch, verum und falsum, true und false genannt.

Einstellige Funktion

$n=1$

2^2¹ = 2² = 4

Die vier möglichen Booleschen Funktionen $y=f_{0}(x),\ldots ,f_{3}(x)$ mit einer Variablen sind:

x	0	1	Funktion (y =)	Name
f₀	0	0	0	Kontradiktion
f₁	0	1	x	Identität
f₂	1	0	¬x = x = 1 − x	Negation
f₃	1	1	1	Tautologie

Zweistellige Funktion

$n=2$
Für zwei Variablen $y=f(x_{1},x_{2})$ gibt es

2^2² = 2⁴ = 16

verschiedene Boolesche Funktionen. Diese Funktionen $y=f_{0}(x_{1},x_{2}),\ldots ,f_{15}(x_{1},x_{2})$ sind:

Zweistellige Boolesche Funktionen
x₁, x₂	0, 0	0, 1	1, 0	1, 1	Funktion			Name
f₀	0	0	0	0	x₁ · x₁	0	x₁ ∧ ¬x₁	Kontradiktion, Nullfunktion
f₁	0	0	0	1	x₁ · x₂	⌊x₁, x₂⌋	x₁ ∧ x₂	Konjunktion, AND(x₁, x₂)
f₂	0	0	1	0	x₁ · x₂	x₁ > x₂	x₁ ↛ x₂	Inhibition von x₁
f₃	0	0	1	1	x₁	x₁	x₁	Identität von x₁
f₄	0	1	0	0	x₁ · x₂	x₁ < x₂	x₁ ↚ x₂	Inhibition von x₂
f₅	0	1	0	1	x₂	x₂	x₂	Identität von x₂
f₆	0	1	1	0	(x₁ · x₂) + (x₁ · x₂)	x₁ ≠ x₂	x₁ ↮ x₂	Antivalenz, Alternative, XOR(x₁, x₂)
f₇	0	1	1	1	x₁ + x₂	⌈x₁, x₂⌉	x₁ ∨ x₂	Disjunktion, OR(x₁, x₂)
f₈	1	0	0	0	x₁ + x₂ = x₁ · x₂	1 − ⌈x₁, x₂⌉	x₁ ↓ x₂	Nihilition, Peirce-Funktion, NOR(x₁, x₂)
f₉	1	0	0	1	(x₁ · x₂) + (x₁ · x₂)	x₁ = x₂	x₁ ↔ x₂	Äquivalenz, XNOR (x₁,x₂)
f₁₀	1	0	1	0	x₂	1 − x₂	¬x₂	Negation von x₂, NOT(x₂)
f₁₁	1	0	1	1	x₁ + x₂	x₁ ≥ x₂	x₁ ← x₂	Replikation
f₁₂	1	1	0	0	x₁	1 − x₁	¬x₁	Negation von x₁, NOT(x₁)
f₁₃	1	1	0	1	x₁ + x₂	x₁ ≤ x₂	x₁ → x₂	Implikation
f₁₄	1	1	1	0	x₁ · x₂ = x₁ + x₂	1 − ⌊x₁, x₂⌋	x₁ ↑ x₂	Exklusion, Sheffer-Funktion, NAND(x₁, x₂)
f₁₅	1	1	1	1	x₁ + x₁	1	x₁ ∨ ¬x₁	Tautologie, Einsfunktion

Mehr als zwei Variablen

Bei drei Variablen gibt es bereits 2⁸ = 256 Boolesche Funktionen, bei vier Variablen 2¹⁶ = 65.536, bei fünf Variablen 2³² = 4.294.967.296, bei sechs Variablen sind es 2⁶⁴ = über 18 Trillionen, also zu viele, um sie hier alle darzustellen.

Grafische Veranschaulichung

Die grafische Veranschaulichung Boolescher Funktionen kann zumindest für niedrigstellige Funktionen durch Auftragen von Punkten in einem Koordinatensystem erfolgen. Einstellige Funktionen lassen sich in einem kartesischen Koordinatensystem als Eckpunkte eines Einheitsquadrats auftragen. Für zweistellige Funktionen gelingt dies noch einigermaßen anschaulich mittels der Eckpunkte eines Einheitswürfels in einem dreidimensionalen Koordinatensystem. n-stellige Funktionen lassen sich allgemein in einem n+1-dimensionalen Koordinatensystem als ein n+1-dimensionaler Einheitshyperwürfel darstellen.

Algebraische Darstellbarkeit

Diese Darstellung wird jedoch spätestens ab vier Variablen zu komplex, um noch anschaulich zu sein. Daher ist für höhere Dimensionen unbedingt ein algebraischer Zugang erforderlich. Tatsächlich ist es möglich, jede beliebige (etwa mittels einer Funktionstafel willkürlich festgelegte) Boolesche Funktion rein algebraisch auszudrücken. Ein System von Booleschen Funktionen, welches dies ermöglicht, bezeichnet man auch als vollständiges Operatorensystem oder Verknüpfungsbasis. Vollständige Operatorensysteme sind etwa das UND-ODER-NICHT-System, das UND-Antivalenz-System, das NAND- und das NOR-System. Man beachte, dass es sich bei diesen Funktionen nicht um die Verknüpfungen der zugrundeliegenden Booleschen Algebra handelt, sondern um definierte Funktionen.

Jede Boolesche Funktion kann in die Disjunktive Normalform (siehe Beispiel für die Bildung der DNF) und die Konjunktive Normalform (siehe Beispiel für die Bildung der KNF) umgeformt werden.

Boolesche Grundfunktionen

Jede Boolesche Funktion mit zwei oder mehr Eingängen lässt sich mit den Funktionen UND (Konjunktion), ODER (Disjunktion) und NICHT (Negation) realisieren. In der Praxis wird das auch so gehandhabt. Wegen der De Morganschen Regel reichen grundsätzlich auch zwei dieser drei Grundfunktionen aus (NICHT zusammen mit ODER oder NICHT zusammen mit UND). Alternativ lassen sich auch alle Booleschen Funktionen mittels NAND realisieren (dasselbe gilt für NOR) oder mittels (AND, XOR und T).

Beispiel XOR-Funktion

Bei der XOR-Verknüpfung ist der Ausgangszustand 1 (wahr), wenn die beiden Eingangszustände x₁ und x₂ unterschiedlich sind:

$x_{1}$	$x_{2}$	$y$
0	0	0
0	1	1
1	0	1
1	1	0

In der disjunktiven Normalform geschrieben:

y={\overline {x_{1}}}x_{2}\vee x_{1}{\overline {x_{2}}}

Beispiel Mehrheits-Funktion

Angenommen man hat drei Personen, die jeweils einen Schalter vor sich haben (Kreuzschaltung). Eine Lampe l soll nur aufleuchten, wenn die Mehrheit, also zwei der Personen oder alle drei, ihren Schalter betätigen:

l={\overline {s_{1}}}s_{2}s_{3}\vee s_{1}{\overline {s_{2}}}s_{3}\vee s_{1}s_{2}{\overline {s_{3}}}\vee s_{1}s_{2}s_{3}

Da sich ${\overline {s_{1}}}s_{2}s_{3}$ und $s_{1}s_{2}s_{3}$ nur in einem Zustand unterscheiden, kann man den sich unterscheidenden Teil wegfallen lassen und erhält $s_{2}s_{3}$ .

Das Gleiche gilt für $s_{1}{\overline {s_{2}}}s_{3}$ und $s_{1}s_{2}s_{3}$ , sowie für $s_{1}s_{2}{\overline {s_{3}}}$ und $s_{1}s_{2}s_{3}$ , so dass am Ende folgende optimierte Funktion übrig bleibt:

l=s_{2}s_{3}\vee s_{1}s_{3}\vee s_{1}s_{2}

Vollständige Logiksysteme

Für ein vollständiges System oder auch die Verknüpfungsbasis wird entweder die Grundverknüpfungen AND oder OR benötigt. Zusätzlich benötigt man das NOT. Für einen Schaltungsentwurf hat dieser Umstand einen Vorteil: Es werden lediglich zwei Grundschaltungen benötigt, die dieses vollständige System ((AND oder OR) und NOT) realisieren. Durch eine entsprechende Kombination der Grundoperatoren können dann alle anderen Operatoren gebildet werden.

Die NAND-Verknüpfung bzw. NOR-Verknüpfung stellt bereits jeweils ein solches vollständiges System dar.

Normalformen

Jede Boolesche Funktion lässt sich in einer Normalform darstellen. Eine Überführung von einer Normalform in eine andere ist möglich. Normalformen sind nützlich für bestimmte Algorithmen, Schaltungen oder Beweise. Beispiele von Normalformen sind:

Besondere Boolesche Funktionen

Die immer wahr berechnende Funktion heißt Tautologie.
Die immer falsch berechnende Funktion heißt Kontradiktion.
Einstellige Boolesche Funktionen, die immer genau den Eingangswert zurückliefern, nennt man Identität.
Einstellige Boolesche Funktionen, die immer genau die Umkehrung des Eingangswertes zurückliefern, nennt man Negation.
Eine Boolesche Funktion heißt symmetrisch, wenn der Funktionswert nur von der Anzahl der Einsen im Argument, jedoch nicht von deren Position abhängt, also invariant gegenüber Permutationen der Eingabevariablen ist.