A truth table is a table that displays truth values for logical statements. Examples of logical statements are the negation (¬) of a simple statement, the conjunction (∧) or disjunction (∨) of two statements, or even more complex compound statements. Compound statements are broken down into simpler statements when making a truth table.
Two statements are logically equivalent when they have the same truth value.