A connective in logic which yields true if all conditions are true,
and false if any condition is false.
AND
is denoted
(Mendelson 1997, p. 12),
,
(Simpson 1987, p. 538),
,
(Carnap 1958, p. 7), or simply
(Simpson 1987, p. 538). The way to distinguish the similar
symbols
(AND) and
(OR) is to note that the symbol for AND is oriented in the
same direction as the capital letter 'A.' The AND operation is implemented in the
Wolfram Language as And[A,
B, ...]. The circuit diagram symbol for an AND gate is illustrated above.
The AND operation ()
can be written in terms of NOT (!) and OR
(
) as
The binary AND operator has the following truth table (Carnap 1958, p. 10; Simpson 1987, p. 545; Mendelson 1997, p. 12).
T | T | T |
T | F | F |
F | T | F |
F | F | F |
A product of ANDs (the AND of conditions) is called a conjunction,
and is denoted
For example, the truth table for AND
AND
is given below (Simpson 1987, p. 545).
T | T | T | T |
T | T | F | F |
T | F | T | F |
T | F | F | F |
F | T | T | F |
F | T | F | F |
F | F | T | F |
F | F | F | F |
Two binary numbers can have the operation AND performed bitwise with 1 representing true and 0 false. Some computer
languages denote this operation on ,
,
and
as A && B && C
or logand(A,B,C). Bitwise AND is implemented in the Wolfram
Language as BitAnd[n1,
n2, ...]. The illustration above plots the bitwise AND of the array of numbers
from
to 31 (Wolfram 2002, p. 871).