The logical operation used for forming the expression "A and B" from two expressions $A$ and $B$. In formalized languages, the conjunction of two expressions $A$ and $B$ is denoted by $A\&B$, $A\land B$, $A\cap B$, $A\cdot B$, or $AB$. The expressions $A$ and $B$ are called the conjunctive terms of $A\&B$. The normal usage of the conjunction in mathematical logic corresponds to the following truth table:
$A$ | $B$ | $A\&B$ |
$T$ | $T$ | $T$ |
$T$ | $F$ | $F$ |
$F$ | $T$ | $F$ |
$F$ | $F$ | $F$ |