Logical conjunction
Logical connective AND / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short, summarize this topic like I'm... Ten years old or a College student
In logic, mathematics and linguistics, And () is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true. The logical connective that represents this operator is typically written as or ⋅ .[1][2]
AND | |
---|---|
![]() | |
Definition | |
Truth table | |
Logic gate | ![]() |
Normal forms | |
Disjunctive | |
Conjunctive | |
Zhegalkin polynomial | |
Post's lattices | |
0-preserving | yes |
1-preserving | yes |
Monotone | no |
Affine | no |

is true if and only if is true and is true, otherwise it is false.
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).
- In predicate logic, universal quantification.