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 **connective**s of
**propositional logic**. See **conjunction**, **disjunction**,
**negation**, **equivalence** and **implication**.

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