Connective

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	,

REFERENCES:

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.