Konjunktion (logik)

Logisk operator (Logisk grind)
Negation (NOT) Konjunktion (AND, NAND) Disjunktion (OR, XOR, NOR) Implikation Ekvivalens (XNOR)
Se även
Logisk operator (konnektiv) Sanningsfunktion Sanningsvärdetabell De Morgans lagar
Denna tabell: visa • redigera

Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen ${\displaystyle \land }$ eller symbolen ${\displaystyle \cdot }$, och utläses som "och". En sats, vars delar är förbundna med detta konnektiv kallas, även denna, för en konjunktion. En sådan sats är sann, om och endast om alla dess operander är sanna.

Med A och B symboliserande påståenden, utläses satsen A ${\displaystyle \land }$ B som: A och B. Den skall således tolkas som sann, om och endast om båda satserna är sanna. Konnektivet ${\displaystyle \land }$, kan tillsammans med exempelvis konnektivet för negation uttrycka varje annat konnektiv inom satslogiken.

Inom boolesk algebra skrivs konjunktion med multiplikationstecknet "·".