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
  • a
• **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