[Haskell-cafe] Propositional logic implementation