Truth Table

A truth table is a mathematical table used in Logic.

For instance, this is the truth table for Implication: