((NOT w) NOR y) NOR (x NOR (NOT z)) NOR (y NOR (NOT z))