Add 3rd homework. Implement tautology check.