Logic Expression Evaluator Help
- App Overview
- Logic Review
Overview
This is a logic expression evaluation and truth table generation app.
Instruction
The program will automatic translate keywords into logic symbols ("p and q" will be translated to "p ∧ q"). Please refer to the logic symbol and keyword convertion table below:
| Logic Symbols | Keywords |
| ↑ | NAND |
| ∧ | AND, ^, & |
| ↓ | NOR |
| ⊕ | XOR |
| ¬ | NOT, ~, ! |
| → | IMPLIES, -> |
| ↔ | IFF, <-> |
| ∨ | OR, | |
| T/1 (True) | T, t, 1 |
| F/0 (False) | F, f, 0 |
If an expression only includes T (True) and F (False) value, then it will return either T or F. You can also use 1 and 0 instead of T and F to denote True and False value. Lowercase and Uppercase variables are regarded as the same.
| T∧F∨T |
T |
If an expression contains variable, then the program will return a truth table for the expression.
| p∧q | |||||||||||||||
|
You can press the icon next to the result to download result data (csv file).
The program following this order of precedence:
1) Anything inside parentheses;
2) Negation;
3) All other operations from left to right, except conditional and biconditional;
4) conditional and biconditional.
Options
There are two display modes. You can choose whether to display the True and False values as T and F or as 1 and 0.
| p∧q | |||||||||||||||
|
| p∧q | |||||||||||||||
|
There are two order types: decreasing order and Increasing order.
| p∧q | |||||||||||||||
|
| p∧q | |||||||||||||||
|
Disclaimer: All the programs on this website are designed for educational purposes only. They are tested however mistakes and errors may still exist. By using these programs, you acknowledge that you are aware that the results from the programs may contain mistakes and errors and you are responsible for using these results. The author is not responsible for errors and results from these programs.