is a program to get the truthtables of logical formulas
such as:
conjunction:
a&b
disjunction:
a|b
subjunction:
a>b
negation:
!(a)
You can chain those expressions together obviously
Note: brackets always follow after a negation!
If there are no brackets at all -> left to right is used
git clone https://github.com/gooosz/Truthtable.git
and compile it using IntelliJ or other IDE's
run from the command line
mvn clean install
this builds a JAR file called Truthtable.jar
inside ./out/artifacts/Truthtable_jar/
To get actual output run
java -jar truthtable.jar "expression"
where truthtable.jar is the JAR and expression
the expression as a string in quotation marks
A truthtable for the expression a&b looks like this
