...
The shorter names T
, F
, !
, &
, |
, >
, and ?
are used instead of true
, false
, not
, and
, or
, implies
, and if
for notational brevity which matters in very large inputs.
Some sample inputs are:
- T
- F
- x
- (! x)
- (| x (! x))
- (& x (! x))
- (> x x)
These formulas are represented internally using abstract syntax as defined in the Java stub file
Some much more complex inputs can be found in the file littleData1.
The course staff is providing:
...