Part of the Computing fundamentals glossary:  A truth table is a
breakdown of a logic function by listing all possible values the
function can attain. Such a table typically contains several
rows and columns, with the top row representing the logical
variables and combinations, in increasing complexity leading up
to the final function.  In a logic function, there are three
basic operations: NOT (also called inversion or negation and
symbolized -), OR (also called disjunction or addition and
symbolized +), and AND (also called conjunction or
multiplication and symbolized *). The values of the functions
are normally assigned as logic 0 = false and logic 1 = true.
Thus, the following rules apply:  If A = 0, then -A = 1 If A =
1, then -A = 0 A+B = 1 except when A = 0 and B = 0 A+B = 0 if A
= 0 and B = 0 A*B = 0 except when A = 1 and B = 1 A*B = 1 if A =
1 and B = 1  The following tables show the process of evaluating
the values of the logic function -(A+B) * -(A*B), as determined
by breaking it down into constitu