Prove the Logical Expression Tautology