Variable, die durch den Junktor ∧ (UND) mit einander verknüpft sind, führen zu einer Aussage, die nur dann wahr ist, wenn beide Aussagen für sich wahr sind, sonst ist sie falsch.
Wahrheitstafel:
| A | B | A∧B |
| 1 | 1 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 0 | 0 | 0 |
Die Konjunktion wird auch aussagenlogisches Produkt genannt, und folglich werden die zu verknüpfenden Aussagen Faktoren genannt.
Beispiel 1:
Aussage A: Der Student ist fleißig.
Aussage B: Der Student ist pünktlich.
Die Aussage A∧B „Der Student, ist ein guter Student“ ist nur dann wahr, wenn der Student fleißig und pünktlich ist.
Beispiel 2:
Aussage A: x ist eine gerade natürliche Zahl.
Aussage B: y > 4.
Aussage A∧B: 6 8 10 12 …