+46 +47 +48 +49 +50

1 files changed, 37 insertions, 0 deletions

diff --git a/H47.hs b/H47.hs
new file mode 100644
index 0000000..44a62a9
--- /dev/null
+++ b/H47.hs
@@ -0,0 +1,37 @@
+module H47 where
+-- Any that lacks a infix precedence declaration will assume 9
+
+infixl 4 `or'`
+infixl 4 `nor'`
+infixl 5 `xor'`
+infixl 6 `and'`
+infixl 6 `nand'`
+infixl 3 `equ'`
+
+and',or',nand',nor',xor',impl',equ' :: Bool -> Bool -> Bool
+not' :: Bool -> Bool
+
+not' True = False
+not' _ = True
+
+and' True True = True
+and' _ _ = False
+
+or' False False = False
+or' _ _ = True
+
+nand' = curry $ not' . (uncurry and')
+
+nor' = curry $ not' . (uncurry or')
+
+xor' True True = False
+xor' False False = False
+xor' _ _ = True
+
+impl' a b = or' (not' a) b
+
+equ' = curry $ not' . (uncurry xor')
+
+table :: (Bool -> Bool -> Bool) -> IO ()
+table f = mapM_ putStrLn [show a ++ " " ++ show b ++ " " ++ show (f a b)
+            | a <- [True, False], b <- [True, False]]