A binary operator returning true iff both operands are true.
Logical conjunction (AND)
Related concepts
- Biconditional (IFF)
- Law of non-contradiction
- Exclusive disjunction (XOR)
- Sheffer stroke (NAND)
- De Morgan's laws
- Distributive laws (logic)
- Associative laws (logic)
- Commutative laws (logic)
- Idempotent laws (logic)
- Identity laws (logic)
- Domination laws (logic)
- Absorption laws (logic)
- Biconditional decomposition
- Modus tollens
- Hypothetical syllogism
- Disjunctive syllogism
- Simplification (∧-elimination)
- Conjunction introduction (∧-introduction)
- Resolution
- Boolean algebra