about Normal forms, and the normalizer program

Syntax:
-true, false, p, q, 'it\'s raining', etc.
-or(exp1,exp2)
-and(exp1,exp2)
-not(exp)
-K(exp)
-M(exp)

examples:
K(or(p,and(q,true)))
K(or('it\'s raining', not('it\'s raining')))

The program will run for a maximum of 3 minutes at a time.

    use trees?

sourcecode: mas7.pl, prop.pl, tree.pl © 2001 towr            timekill.c © 2001 miathan

email: towr@tcw2.ppsw.rug.nl