In logic, a convenient way of displaying the
"truth values" (truth and falsity) of a compound statement as determined
by the truth values of its simple component statements. For example, if
the simple statements p and q are both true, then the
compound statement p and q is true (1); but if either p
or q or both p and q are false, then p and
q is false (0). This is usually displayed in tabular form as shown.