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 - Creates the logical formula not(arg1)
  • arg1 is a Value, Variable or Reference
• and arg1 arg2 - Creates the logical formula (arg1 and arg2)
  • arg1 is a Value, Variable or Reference
  • arg2 is a Value, Variable or Reference
• or arg1 arg2 - Creates the logical formula (arg1 or arg2)
  • arg1 is a Value, Variable or Reference
  • arg2 is a Value, Variable or Reference
• show arg1 - Shows the given reference in the console
  • arg1 is a Reference
• list - Lists all saved references in the console
• simplify arg1 - Simplifies a given logical formula, e.g. (true and v2) gets simplified to true
  • arg1 is a Reference
• subst arg1 arg2 arg3 - Substitues a variable in a reference by a given value, variable or reference
  • arg1 is a Reference
  • arg2 a Variable
  • arg3 a Value, Variable or Reference
• quit - Terminates the program