我找到了用Haskell写的逻辑门异或的代码，但是我不知道这个“(/=)”是什么意思!
xor :: Bool -> Bool -> Bool
xor = (/=)
最佳答案
(/=) :: Eq a => a -> a -> Bool 是在 Eq 中定义的函数类型类。它测试两个项目是否不同并返回 True在这种情况下。对于 Bool s，因此它检查第一个 bool 值是否不同于另一个 bool 值，这就是异或门所做的:
x y x /= y x `xor` y False False False False False True True True True False True True True True False False https://stackoverflow.com/questions/74480734/