xor和or在Haskell中有什么区别

Question

因此，如果且仅当其操作数之一恰好满足以下条件时，如果xor返回：TrueTrue

xor :: Bool -> Bool -> Bool
xor True True = False
xor True False = True
xor False True = True
xor False False = False

我的问题是：会or类似，但True如果一个或两个操作数为，则返回True？

Answer 1

你可以xor简单地写成

 xor a b = a /= b

也or可以简化

 or True _ = True
 or False b = b

为了娱乐，您可以使用nand定义所有逻辑功能。

 nand :: Bool -> Bool -> Bool
 nand True True = False
 nand _ _ = True

not 简单

 not a = nand a a

and 需要两个门

 and a b = not (nand a b)

or，需要三个

 or a b = nand (not a) (not b)  

并且，xor需要四个

 xor a b = let z = nand a b in nand (nand z a) (nand z b)