Inhaltsverzeichnis
11 Beziehungen: Boolesche Funktion, Disjunktion, Disjunktive Normalform, Implikant, Karnaugh-Veitch-Diagramm, Konjunktion (Logik), Konjunktionsterm, Schaltnetz, Stelligkeit, Verfahren nach Quine und McCluskey, Vollkonjunktion.
- Boolesche Algebra
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).
Sehen Primterm und Boolesche Funktion
Disjunktion
Vereinigung von Mengen wird über die (nicht-ausschließende) Disjunktion definiert. OR-Gatter: Wenn Taster E1 '''oder''' E2 betätigt wird, leuchtet die Lampe. Dieses logische Oder umfasst auch den Fall, dass beide zugleich gedrückt werden. Disjunktion („Oder-Verknüpfung“, von lat.
Sehen Primterm und Disjunktion
Disjunktive Normalform
Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet.
Sehen Primterm und Disjunktive Normalform
Implikant
In der booleschen Algebra und beim Entwurf von Schaltnetzen ist ein Implikant m einer booleschen Funktion f ein boolescher Term, wobei f immer wahr ist, wenn m wahr ist.
Sehen Primterm und Implikant
Karnaugh-Veitch-Diagramm
Bild 1-1: Karnaugh-Veitch-Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD.
Sehen Primterm und Karnaugh-Veitch-Diagramm
Konjunktion (Logik)
Schnitt von Mengen wird über die Konjunktion definiert AND-Gatter: Wenn die Taster E1 '''und''' E2 betätigt werden, leuchtet die Lampe. In der Logik wird als Konjunktion (von ‚verbinden‘) oder auch Und-Verknüpfung eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet.
Sehen Primterm und Konjunktion (Logik)
Konjunktionsterm
Ein Konjunktionsterm (auch Monom genannt) ist eine Boolesche Funktion, die ausschließlich durch die konjunktive Verknüpfung von Literalen gebildet wird (d. h. alle Literale sind durch ein logisches Und verbunden).
Sehen Primterm und Konjunktionsterm
Schaltnetz
Der Begriff Schaltnetz (engl.: combinational circuit oder combinatorial circuit) wird in der technischen Informatik verwendet.
Sehen Primterm und Schaltnetz
Stelligkeit
Der Begriff Stelligkeit (auch Arität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw.
Sehen Primterm und Stelligkeit
Verfahren nach Quine und McCluskey
Das Verfahren nach Quine und McCluskey (QMCV, nach Willard Van Orman Quine und Edward J. McCluskey) ist eine Methode, um Boolesche Funktionen zu minimieren.
Sehen Primterm und Verfahren nach Quine und McCluskey
Vollkonjunktion
Als Vollkonjunktion (auch Minterm oder Elementarkonjunktion) bezeichnet man in der Aussagenlogik einen speziellen Konjunktionsterm, d. h.
Sehen Primterm und Vollkonjunktion
Siehe auch
Boolesche Algebra
- Σ-Algebra
- Algebra (Mengensystem)
- Aussageform
- Aussagenlogik
- Binäres Entscheidungsdiagramm
- Bitweiser Operator
- Boolean
- Boolesche Algebra
- Boolesche Funktion
- Boolescher Differentialkalkül
- Boolescher Primidealsatz
- Boolescher Ring
- Correlation immunity
- Darstellungssatz für Boolesche Algebren
- Davis-Putnam-Verfahren
- De-morgansche Gesetze
- Erfüllbarkeitsproblem der Aussagenlogik
- Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
- George Boole
- Gesetze der Form
- Kanonische Normalform
- Karnaugh-Veitch-Diagramm
- Konjunktionsterm
- Oder-Gatter
- Primterm
- Ringsummennormalform
- Schaltalgebra
- Shannon-Zerlegung
- Stone-Raum
- Vereinigungsmenge
- Verfahren nach Quine und McCluskey
- Wahrheitstabelle
Auch bekannt als Kernprimterm, Primimplikant, Primkonjunktion.