About this project
The application is able to apply various operations to user's propositional formulas (conversion to normal conjunctive form, conversion to disjunctive normal form, generation of truth table, LaTex code, etc.).
Unzip and test the application, available in zip archive in the link below.
Skills
Analysis, Design, Development.
Java (OOA).