Logical conjunction

In logic, mathematics and linguistics, and (${\displaystyle \wedge }$) is the truth-functional operator of conjunction or logical conjunction. The logical connective of this operator is typically represented as ${\displaystyle \wedge }$ or ${\displaystyle \&}$ or ${\displaystyle K}$ (prefix) or ${\displaystyle \times }$ or ${\displaystyle \cdot }$ in which ${\displaystyle \wedge }$ is the most modern and widely used.

Logical conjunction

AND
Definition	${\displaystyle xy}$
Truth table	${\displaystyle (1000)}$
Logic gate
Normal forms
Disjunctive	${\displaystyle xy}$
Conjunctive	${\displaystyle xy}$
Zhegalkin polynomial	${\displaystyle xy}$
Post's lattices
0-preserving	yes
1-preserving	yes
Monotone	no
Affine	no

The and of a set of operands is true if and only if all of its operands are true, i.e., ${\displaystyle A\land B}$ is true if and only if ${\displaystyle A}$ is true and ${\displaystyle B}$ is true.

An operand of a conjunction is a conjunct.

Beyond logic, the term "conjunction" also refers to similar concepts in other fields:

• In natural language, the denotation of expressions such as English "and";
• In programming languages, the short-circuit and control structure;
• In set theory, intersection.
• In lattice theory, logical conjunction (greatest lower bound).