not x = not (x and y and z) and y and z
not y = not (x and y and z) and x and z
not z = not (x and y and z) and x and y