Tautology/Contradiction Expression Verification

Tautology is a logical expression which is always true for any values of its variables. On the other hand, contradiction is a logical expression which is always false for any values of its variables. For example, the following expression will be a ta...