Method of Truth Tables/Proof of Tautology/Examples