带有变量𝑎和𝑏的矛盾布尔表达式可以用NAND形式表示吗？

Question

我有

f(a,b) = 0

并且想用NAND形式用

a

和

b

来表示它，但我认为这是不可能的。

Answer 1

def NAND(a, b):
    return (a & b) ^ 1

def f(a, b):
    return NAND(
        NAND(a, NAND(a, a)),
        NAND(b, NAND(b, b)),
    )

for a in 0, 1:
    for b in 0, 1:
        print(f(a, b))

输出（在线尝试！）：

0
0
0
0