Usage Direction
- Use any alpahbet [A-Z or a-z] as variable.
- Variables are case sensitive. 'X' is different from 'x'
Use the following symbols:
| AND | * |
| OR | + |
| NOT | - |
| NOR | # |
| NAND | $ |
| XOR | ^ |
| IMPLIES | => or <= |
| BICONDITIONAL(iff) | <=> |
You can assign complex statement to a variable with “:” operator. For example:
t:x*(x+y)
q:y+(x*y)
and you can even perform operations on each of the new variables that you created. For example:
t*q
| operator | priority | associativity |
| brackets (), {},[] |
1 | left |
| not | 2 | right |
| and | 3 | left |
| xor | 4 | left |
| or | 5 | left |
| conditional | 6 | right |
| biconditional | 7 | right |


