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

Мат. tautology theorem