Conjunction

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$