Posted on

# Logical Tautology

$p \lor \neg p$

A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables.

$\displaystyle p$

$\displaystyle \neg p$

$\displaystyle p \lor \neg p$

T F T
F T T