1.1 --- a/smm.py	Tue May 17 04:10:39 2011 +0200
     1.2 +++ b/smm.py	Tue May 17 13:52:38 2011 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4      r = Variable(["r"])
     1.5      formula = Imp([Eq([p, q]), r])
     1.6      formula = Not([Or([p, q])])
     1.7 -    #formula = Not([Not([p])])
     1.8 +    formula = Not([Not([p])])
     1.9      print formula
    1.10      print "reduced"
    1.11      print reduce(formula)