A truth table represents all possible combinations of values for logical variables and statements and the resulting outputs. It has 2^n rows where n is the number of variables. Each row lists the values for the variables and the output of the logical expression. To evaluate an expression, populate the truth table by filling in the variable values in each row then evaluate the expression for each row according to the precedence of operators - NOT, then AND, then OR. Parentheses are evaluated first. An example shows constructing a truth table to evaluate the expression F=A.B'+C.