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;
• (make-Or X Y) where X and Y are boolExp s;
• (make-Implies X Y) where {{X and Y are boolExp s; or
• (make-If X Y Z) where X , Y , and Z are boolExp s.

...