Solve combinational systems up to 8 variables, 8 outputs by Quine-McCluskey
- Display loops on Karnaugh maps
- Display solutions in boolean algebraic form
- Plot schematic

Tip: You can fill rows or columns of the truth table at once by first tapping on their header.

Design sequential systems (synchronous deterministic finite state machines) up to 5 inputs, 5 outputs
- Moore and Mealy automata
- State diagram capture (long tap to edit states and transitions)
- State codification and flip-flop excitation tables
- Display solutions in boolean algebraic form
- Plot schematic

Tip: You can change the state codification by tapping on the cells of the qi column.

Please, do leave your feedback and suggestions either by email or in the comments below.