Построить СКНФ используя основные равносильности

[joel1]

Построить СКНФ для функции:

$$f(x,y) = x \oplus y$$

используя основные равносильности.

Решение: СКНФ:

$$f(x,y) = x \oplus y = x\overline y \vee \overline x y = (x \vee y) \wedge (\overline x \vee \overline y )$$

Мне преподователь сказал что ответ правильный, но пропущен еще один шаг преобразования. Не могу разобраться что пропущено. Подскажите пожалуйста.

[cyb12]

В задачнике Гаврилова-Сапоженко основной равносильностью считается $x\oplus y=(x\vee y)\wedge(\bar x \vee \bar y)$ сразу. Но формально (совсем-совсем формально) последний Ваш переход - не основная равносильность.

[joel1]

cyb12
Так правильно будет просто сразу написать как в задачнике, или??? что то я запутался(