Haskell中的NAND over NOR

Question

Haskell初学者在这里。我想证明NAND在haskell中分布在NOR上。这应该会让我回归＆＃34; True＆＃34;，但我一直都是假的。我甚至不确定我是否正确接近它，但这是我尝试过的：

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）