A function, or the symbol representing a function, which corresponds to English conjunctions such as "and," "or," "not," etc. that takes one or more truth values as input and returns a single truth value as output. The terms "logical connective" and "propositional connective" (Mendelson 1997, p. 13) are also used. The following table summarizes some common connectives and their notations.
connective | symbol |
AND | , , , , , |
equivalent | , , |
implies | , , |
NAND | , , |
nonequivalent | , , |
NOR | , , |
NOT | , , , |
OR | , , , |
XNOR | XNOR |
XOR | , |