Logik

Simple program for evaluating mathematical logic expressions and checking for tautology. Currently available for:

• mingwX64 (Windows)
• linuxX64

To run download the program from releases page and run with:

logik.exe "<your_logic_expression>" 

Allowed symbols are:

'!'     Negation
'&&'    Conjunction
'||'    Disjunction
'->'    Implication
'<->'   Bi-conditional
'(' ')' Parentheses
p,q...  Variables

License

This project is licensed under the Apache 2.0 License - see the LICENSE.md file for details