(x+y)(xy¬+y¬z)
これを否定したら
(x+y)¬+(xy¬+y¬z)¬
じゃないのかな

あと、¬は普通前につけると思う