There are two settings:
the "Buttons for Statements" setting,
and the "Type out Statements" setting.
When on the "Buttons for Statements"
setting you use buttons to create statements.
There are buttons that represent variables,
which include capital letters.
There are buttons that
represent logical operations.
If you wanted to generate a
truth table for the statement
"A and B" you would push the
"A" button, then the "&" button,
then the "B" button,
and finally you would push the
"Generate Truth Table" button.
Also, there are other buttons,
which include left and right parenthesis,
along with a comma.
The parentheses can be used
to clarify your desired
order of operations to the generator.
The comma allows you to put more
than one statement on the same truth table,
just separate each statement with a comma.
So if you wanted to generate a
truth table that has the statements
"~A and ~B" and "~(A or B)" on it,
you would hit the relevant buttons
that would give you the statements:
Note the use of parentheses
and the comma in between the two statements.
The "Delete" button removes the last symbol that was added,
and the "Clear" button clears all the statements.
The "Type out Statements" setting means
you have to type out the statements
you want to generate.
The purple box lists the keyboard symbols
and the operations they represent.
Type letters to represent variables.
Note that the lowercase "v" represents the "or" operations,
so lowercase "v" cannot be used as a variable.
To generate a truth table for the statement
"P → Q," you would type a "P,"
then type a greater-than symbol (>), then type a "Q."
Then you would hit the "Generate Truth Table" button.