Надо от этого `AB uu (Abar(B) uu Bbar(A))` перейти к этому `A uu B`
С помощью эквивалентных преобразований.
Я что-то застрял.
Спасибо.

СДЕЛАНО.

ВОТ ОНО, РЕБЯТА ВОТ ОНО, ЭКВИВАЛЕНТНОЕ ПРЕОБРАЗОВАНИЕ МОЕЙ МЕЧТЫ!
2 часа, потрачены не зря)


Решение