MiniLogicEva-1.2

Fixes #3, adds more control over output format, and adds checks for updates.

MiniLogicEva-1.1

A few internal changes and small bug-fixes.
Now adds a CLI-Tool (see the CLI-jar) which does not use java.swing nor a GUI, but uses Runtime Arguments to execute.
Execute the CLI-Tool with
java -jar MiniLogicEvaCLI.jar.
For example:
java -jar MiniLogicEvaCLI.jar --print "(~(r -> q) -> (s <-> ~q)) || ~(r || s)"

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!