tautology theorem

Мат. теорема тавтологии