Logical conjunction

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	yes
Affine	no
Self-dual	no

Logical connectives
NOT ${\displaystyle \neg A,-A,{\overline {A}},\sim A}$ ${\displaystyle A\land B,A\cdot B,AB,A\ \&\ B,A\ \&\&\ B}$ NAND ${\displaystyle A{\overline {\land }}B,A\uparrow B,A\mid B,{\overline {A\cdot B}}}$ OR ${\displaystyle A\lor B,A+B,A\mid B,A\parallel B}$ NOR ${\displaystyle A{\overline {\lor }}B,A\downarrow B,{\overline {A+B}}}$ XNOR ${\displaystyle A\odot B,{\overline {A{\overline {\lor }}B}}}$ └ equivalent ${\displaystyle A\equiv B,A\Leftrightarrow B,A\leftrightharpoons B}$ XOR ${\displaystyle A{\underline {\lor }}B,A\oplus B}$ └ nonequivalent ${\displaystyle A\not \equiv B,A\not \Leftrightarrow B,A\nleftrightarrow B}$ implies ${\displaystyle A\Rightarrow B,A\supset B,A\rightarrow B}$ nonimplication (NIMPLY) ${\displaystyle A\not \Rightarrow B,A\not \supset B,A\nrightarrow B}$ converse ${\displaystyle A\Leftarrow B,A\subset B,A\leftarrow B}$ converse nonimplication ${\displaystyle A\not \Leftarrow B,A\not \subset B,A\nleftarrow B}$
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Applications
Digital logic Programming languages Mathematical logic Philosophy of logic
Category

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 }$^[1] or ${\displaystyle \&}$ or ${\displaystyle K}$ (prefix) or ${\displaystyle \times }$ or ${\displaystyle \cdot }$^[2] in which ${\displaystyle \wedge }$ is the most modern and widely used.

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.^[3]

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).