
13 Jun
2007
13 Jun
'07
1:37 p.m.
Hi Can you think of a fourth way of redefining disjunct using pattern matching? vee :: Bool -> Bool -> Bool vee _ True = True vee True _ = True vee _ _ = False ve :: Bool -> Bool -> Bool ve True True = True ve True False = True ve False True = True ve False False = False v :: Bool -> Bool -> Bool v True b = True v b True = True v b False = b v False b = b Thanks Paul