tautologically equivalent

Мат. тавтологически эквивалентный