This project have the intent of build a simple parser of classical logic.
In this moment it just solve a formula with the OR, AND and IMPLICATION operator, for example:
T v F > T ^ T
With "v", "^" and ">" representing OR, AND and IMPLICATION, respectivaly.