А внутри преобразований нужно было ставить

или

? Есть ли здесь разница?
Я ещё утром хотел Вам об этом безобразии написать, но не было возможности. Вы фактически перепутали импликацию и логический вывод. Как я понял, стрелка "

" у Вас означает импликацию, тогда

нужно рассматривать как сокращение формулы

, и ваша длиннющая формула не является логическим выводом. Не говоря уже о куче пропущенных скобок. Поэтому для логического вывода надо использовать какие-то другие значки, например, "

" и "

". А если речь идёт о том, что преобразования не меняют логического значения формулы, то не грех вместо стрелок и знак равенства использовать.