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) |