これ０にならないんでは？問題あってるの？

¬(x¬y+¬yz)
⇔¬(x¬y)¬(¬yz)
⇔(¬x+¬¬y)(¬¬y+¬z)
この計算はこう
先に分配法則使った方が速いだろうけど