tautology rule

Мат. правило тавтологии