Haskell中的NAND over NOR

Question

Haskell初学者在这里.我想证明NAND在haskell中分布在NOR上.这应该让我回到"真实",但我一直都是假的.我甚至不确定我是否正确接近它,但这是我尝试过的:

nand_distributes_nor :: Bool
nand_distributes_nor = and [(a `nand` (b `nor` c)) == ((a `nand` b) `nor` (a `nand` c)) | a<-bools, b<-bools, c<-bools]

Answer 1

试图证明不可能,它几乎总是不正确(除了所有a = b = c = True)