A truth table is a mathematical table used in logic to determine the truth values of logical expressions based on their variables. It systematically lists all possible combinations of truth values for the variables and the resulting truth value of the expression for each combination.