eXpimal free description

Perfect calculator for those users who need studying mathematics of logic.
This application has the functions as follows:
- creating truth tables;
- finding PCNF and PDNF;
- making a Karnaugh map;
- minimizing Boolean function with equivalence conversion.
This application demonstrates intuitively understandable and trouble-free operations.