For experimenting and learning about logic gates.
Program designed to minimize the Boolean functions.
The program provides an environment for digital-logic computer-system education