from itertools import product
for x, y, z in product((False, True), repeat=3):
f_xyz = not (x and y or x and z or y and z)
g_xyz = not (f_xyz and (x or y or z) or x and y and z)
not_x = f_xyz and (y or z) or (f_xyz or y and z) and g_xyz
not_y = f_xyz and (x or z) or (f_xyz or x and z) and g_xyz
not_z = f_xyz and (x or y) or (f_xyz or x and y) and g_xyz
assert (not x == not_x) and (not y == not_y) and (not z == not_z)
ZnJvbSBpdGVydG9vbHMgaW1wb3J0IHByb2R1Y3QKCmZvciB4LCB5LCB6IGluIHByb2R1Y3QoKEZhbHNlLCBUcnVlKSwgcmVwZWF0PTMpOgoJZl94eXogPSBub3QgKHggYW5kIHkgb3IgeCBhbmQgeiBvciB5IGFuZCB6KQoJZ194eXogPSBub3QgKGZfeHl6IGFuZCAoeCBvciB5IG9yIHopIG9yIHggYW5kIHkgYW5kIHopCglub3RfeCA9IGZfeHl6IGFuZCAoeSBvciB6KSBvciAoZl94eXogb3IgeSBhbmQgeikgYW5kIGdfeHl6Cglub3RfeSA9IGZfeHl6IGFuZCAoeCBvciB6KSBvciAoZl94eXogb3IgeCBhbmQgeikgYW5kIGdfeHl6Cglub3RfeiA9IGZfeHl6IGFuZCAoeCBvciB5KSBvciAoZl94eXogb3IgeCBhbmQgeSkgYW5kIGdfeHl6Cglhc3NlcnQgKG5vdCB4ID09IG5vdF94KSBhbmQgKG5vdCB5ID09IG5vdF95KSBhbmQgKG5vdCB6ID09IG5vdF96KQo=