|
Eine Konjunktion bezeichnet in der Logik die Verknüpfung von Aussage a mit Aussage b, so dass die Konjunktion genau dann wahr ist, wenn
sowohl a als auch b wahr sind.
Das heißt:
- Ist a wahr und ist b wahr, so ist die Konjunktion wahr, sonst ist sie falsch.
- Ist die Konjunktion wahr, so sind a wahr und b wahr.
- Ist die Konjunktion falsch, so sind
- a falsch und b falsch oder
- a falsch und b richtig oder
- a richtig und b falsch
Schreibweise dafür:
Sprechweise dafür:
- a und b
Eine Konjunktion selbst ist ein Boolescher Ausdruck. In der
Digitaltechnik werden konjunktiv verknüpfte Variablen auch Produktterm genannt.
Es gilt die De Morgansche Regel:
 
Auf Teilmengen der natürlichen Zahlen kann man die
Konjunktion als Maximum definieren. Für die Zahlen {0,1} ist die Konjunktion mit der
Maximumsfunktion identisch.
Siehe auch
- Und-Gatter
- Aussagenlogik
- Äquivalenz (XNOR-Gatter)
- Implikation
- Negation (Komplement-Gatter)
- Kontravalenz (XOR-Gatter)
- Disjunktion (Oder-Gatter)
|
