Logic Compiler

Minimum requirements

- at least JVM 1.8
- Python 2

How to use

Download the latest stable realease and run the JAR file.

Grammar

proposition ::= premise | (operation)
operation   ::= ~ proposition | proposition ^ proposition | proposition v proposition | proposition -> proposition
premise     ::= [A-Z]

The project

This was an assignment for Formal Aspects of Computing (Aspectos Formais da Computação) of UNIFOR's PPGIA - Master degree in Applied Informatics Graduate Program.