Propositional formulas calculation

Java application

Application interface - Propositional formulas calculation
Application interface

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).