Page History

...

• a boolean constant true and false ;
• a symbol S representing a boolean variable;
• (make-Not X) where X is a boolExp ;
• (make-And X Y) where X and Y are {{boolExp}}s boolExps;
• (make-Or X Y) where X and Y are boolExp s boolExps;
• (make-Implies X Y) where X and Y are boolExp s boolExps; or
• (make-If X Y Z) where X , Y , and Z are boolExp s boolExps.

A bool-SchemeExp is either:

...