from itertools import product def nand(a, b): if a == 0 and b == 0: return 1 return a ^ b for a, b, c in product([0, 1], repeat=3): x = nand(nand(a, b), c) y = nand(a, nand(b, c)) if x != y: print(a, b, c) break