
18 Sep
2009
18 Sep
'09
12:37 a.m.
Am Freitag 18 September 2009 02:17:22 schrieb xu zhang:
showMinProp :: Int -> Prop -> String showMinProp preNo (BinOp op p q) = case op of And -> let a = 4 Or -> let a = 3 Implies -> let a = 2 Equiv -> let a = 1 if (a > preNo) then (showMinProp a p ++ space (showOp op) ++ showMinProp a q) else paren (showMinProp a p ++ space (showOp op) ++ showMinProp a q))
showMinProp preNo (BinOp op p q) = let a = case op of And -> 4 ... in if a > preNo then (...) else (...)