Truth Table A truth table is a mathematical table used in Logic. For instance, this is the truth table for Implication: ATTFBTFTA⟹BTFT