...
1) ( х конъюнкция отрицательного(с чертой сверху у)надмножество (( отрицательный(с чертой сверху)ч конъюнкция z) конъюнкция у))
а может и так 1) ( х конъюнкция отрицательного(с чертой сверху у)надмножество (( отрицательный(с чертой сверху)ч конъюнкция z) конъюнкция у))


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