Found:

Truth table

SEMANTICS: the device by which the truth conditions of a complex propositional formula can be represented. By means of truth tables it is possible to define the connectives of propositional logic. See conjunction, disjunction, negation, equivalence and implication.

LIT.	Gamut, L.T.F. (1991)