Full to Shorthand Syntax
Description
This exercise will test your ability to rewrite full syntax formulas using short
hand syntax.
Instructions
Click on the "GENERATE" button to get the program to display a formula in
full syntax.
Type in the short hand syntax equivalent of the formula
in the short hand box.
Click on the "ANSWER" button to see if your answer is correct.
An atom is a string consisting of one or more letters.
The following symbols represent the logical connectives:
| ^ | (and) |
| v | (or) |
| => | (implication) |
| <=> | (equivalence) |
| ~ | (not) |
|