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)