Definition:Conjunction

Definition
Conjunction is a binary connective written symbolically as $p \land q$ whose behaviour is as follows:


 * $p \land q$

is defined as:
 * $p$ is true and $q$ is true.

This is called the conjunction of $p$ and $q$.

The statements $p$ and $q$ are known as the conjuncts.

$p \land q$ is voiced:
 * $p$ and $q$.

Complement
The complement of $\land$ is the NAND operator.

Truth Function
The conjunction connective defines the truth function $f^\land$ as follows:

Notational Variants
Various symbols are encountered that denote the concept of conjunction: