The conjunction or AND of a set of operands is true only when all of them are true. With two inputs, is only when and .
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Conjunction is the analogue of set intersection: an element is in if and only if it’s in both. The corresponding hardware element is the AND gate.
In digital circuits, a series connection of two switches realizes AND — current flows from one end to the other only if both switches are closed. In CMOS this is subtler: stacking two NMOS transistors in series in the pull-down network does compute ” AND ” as a conduction condition (the path conducts only when both gates are high), but conducting in the pull-down pulls the gate output low — so the output is , i.e. NAND, not AND. To get an AND output, you put a NAND followed by an inverter. See CMOS for the full PUN/PDN duality.
Notation
The symbol in formal logic and Boolean algebra is . In electronics, AND is usually written without a symbol (juxtaposition: ) or with a dot (). In code, you’ll see & (bitwise AND) or && (short-circuit AND, evaluates the second operand only when the first is true).
A common identity to remember: (identity), (annihilation), and (complementation). See Boolean Algebra for the full set of laws.