A truth table is a mathematical table used in Boolean logic to compute the functional values of logical expressions. It lists all possible input values for propositions and the resulting truth value of the expression, clearly mapping cause to logical effect.