Think: A Compelling Introduction to Philosophy

by Simon Blackburn

This new formula, ¬(p & ¬p), reverses the truth-value of the old contradiction. So it is true, whatever the truth-values of its components. It is called a tautology.