in logic, a table that shows whether a compound statement is true or false for each combination of truth values of its component statements

a similar table, e.g. for a computer logic circuit, showing the value of the output for each value of each input