#NoCellOfALie
A C++ Truth Table Generator that generates the Truth Table syntax for LaTeX. Currently in Beta.
How to use:
git clone https://github.com/ItsPax/NoCellOfALie- Type
cd NoCellOfALie/to navigate to the directory where the source code is stored. - Type
maketo make the project. - Type
./solveEquationand follow the instructions onscreen. For examples of the syntax, look to the examples below.
Examples:
a~aa and ba or ba -> b(a and b) or (a and c)(~(a -> b) or ~(a and c or b))~(a and b -> c)
The operators currently supported are:
and,or,->,<->and~To request for more operators, file it as an issue.
TODO:
- Make a nice GUI or at least a better user interface than just having the user edit the equation
- Build variable autorecognition instead of having the user add them
- Is it possible to query wolfram for the truth table and then compare the data received with the truth table generated by my checker as automated testing?
Example Markdown Tables:
| a | b | c | ~(a and b) or ((a -> c) and ((a and b) or c)) |
|---|---|---|---|
| F | F | F | T |
| T | F | F | T |
| F | T | F | T |
| T | T | F | T |
| F | F | T | T |
| T | F | T | T |
| F | T | T | F |
| T | T | T | T |
| a | b | c | d | (( a -> b) or (c -> d)) |
|---|---|---|---|---|
| F | F | F | F | T |
| T | F | F | F | T |
| F | T | F | F | T |
| T | T | F | F | T |
| F | F | T | F | T |
| T | F | T | F | T |
| F | T | T | F | T |
| T | T | T | F | T |
| F | F | F | T | T |
| T | F | F | T | T |
| F | T | F | T | F |
| T | T | F | T | T |
| F | F | T | T | T |
| T | F | T | T | T |
| F | T | T | T | T |
| T | T | T | T | T |