Штрих Шеффера и стрелка Пирса

добрый день

имеется задание: Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

Высказывание: "Студент не сдает зачет тогда и только тогда, когда он не выполнил контрольную работу и не имеет конспекта лекций".

высказывание формализовал как

, где X - не сдает зачет, Y - не выполнил контрольную, Z - не имеет конспекта. с получением СДНФ, СКНФ, ДНФ, КНФ проблем не возникло, а вот представление в виде суперпозиций или не правильное, или ... я не знаю, что штрих что стрелка получаются слишком громоздкими.

вот пример штриха:

последнюю дизъюнкцию переводить не стал, думаю если ошибся то где то раньше.