Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и конъюнкции (X->Y)v(X->(Y^X)); (X->Y)^(X->(Y^X));
Решите задачу: