тавтологическая эквивалентность

Мат. tautological equivalence