An operation on two logical propositions. If p and q are two propositions, (p & q) is a proposition that is true if both p and q are true; otherwise, (p & q) is false. The operation & is sometimes represented by the symbol ˄.