Prove a tautology without truth tables.

Printable View