The Truth Table

Truth tables are a tool used in logic, mathematics, and computer science to systematically show the truth values of logical expressions for all possible combinations of inputs.

🔹 What They Do:

They show how the output of a logical statement (like a proposition or Boolean expression) depends on its inputs.


🔹 Basic Example:

Let’s say you have two logical variables:

  • A and B, each of which can be either True (T) or False (F).

And you want to evaluate the expression:
A AND B (written as A ∧ B)

Truth Table for A ∧ B:

ABA ∧ B
TTT
TFF
FTF
FFF