Truth-table is automatically generated for the user to indicate true/false values, from which an SOP expression is generated as the inputted equation.
Karnaugh Map is visualized in real-time (and can be disabled to save CPU resources)
The unique aspect of this software is actually showing patterns in a Karnaugh Map while simplifying boolean expressions. The different groups are color coded in material colors so you can quickly see the variances in grey code.
Despite showing pairings, the software will also generate the simplified SOP expression for you! This is accomplished through a bitwise algorithm looking for consistent bits within pairings.