Directions:

1. Begin with the above button "Click here to start".
2. Enter any sentence of SL at the prompt.
3. Fill in under the atomic sentences with (lower case) t's and f's.
4. Move to the sentence you entered and fill in starting with the shortest sentences (atomic, then negated atomic, then within parentheses, etc.)
5. If a question mark appears, that means there is a mistake. Correct it or, if you tried to fill in a value too soon and out of order, come back and correct it later.

Hints: You may move around this and any form by using the "TAB" and "SHIFT-TAB" keys. If the truth value ('t' or 'f') you entered at a position is correct, it will change to upper case ('T' or 'F') as soon as you move on.