Repository navigation
MiniLogicEva-1.0
Initial release of this small program.
When run it will open a small GUI (using java.swing). After entering a logic expression and triggering the button, the expression will be evaluated and an output-file will appear in the same directory as '''output.txt'''.
MiniLogicEva will create truth-tables for given logical expressions with output in LaTeX for pretty output, too!