Home

Getting started

Launch BoolShell.java.

Datatypes

• Value - _true _or false
• Variable - v1, v2 and so on
• Reference - #0, #1 and so on

Commands

• not arg1 - arg1 is a Value, Variable or Reference
• and arg1 arg2 - arg1 and arg2 are Values, Variables or References
• or arg1 arg2 - arg1 and arg2 are Values, Variables or References
• show arg1 - arg1 is a Reference
• list
• simplify arg1 - arg1 is a Reference
• subst arg1 arg2 arg3 - arg1 is a Reference, arg2 a Variable and arg3 a Value, Variable or Reference
• quit