Mercurial > 12ws.info2

comparison exercises/src/Exercise_8.hs @ 19:6688bf4a5836

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename Form-File to match module name
author Markus Kaiser <markus.kaiser@in.tum.de>
date Fri, 07 Dec 2012 01:34:16 +0100
parents a899535b1674
children 6d43207984ec
comparison
equal deleted inserted replaced
18:a899535b1674 19:6688bf4a5836
10 f0 = Over 1 2 10 f0 = Over 1 2
11 11
12 f1 :: Fraction 12 f1 :: Fraction
13 f1 = Over 7 5 13 f1 = Over 7 5
14 14
15
15 norm :: Fraction -> Fraction 16 norm :: Fraction -> Fraction
16 norm = undefined 17 norm = undefined
17 18
18 19
19 20
21 {- Aufgabe G8.2 -} 22 {- Aufgabe G8.2 -}
22 -- siehe Exercise_8_Form.hs 23 -- siehe Exercise_8_Form.hs
23 24
24 p0 :: Form 25 p0 :: Form
25 p0 = (Var "a" :&: Var "b") :|: (Not (Var "a") :&: Not (Var "b")) 26 p0 = (Var "a" :&: Var "b") :|: (Not (Var "a") :&: Not (Var "b"))
26
27 27
28 p1 :: Form 28 p1 :: Form
29 p1 = ((Not $ Not $ Var "a") :|: (Not ((Var "b") :->: (Not (Var "c"))))) 29 p1 = ((Not $ Not $ Var "a") :|: (Not ((Var "b") :->: (Not (Var "c")))))
30 30
31 31