Mccluskey
Truth Table Solver v.1.1 Beta
Solve the truth table with this tool. Truth Table Solver is a software that solves the truth table and output all the possible minimized boolean expressions.It uses Quine-McCluskey algorithm (Tabulation method) for boolean minimization.
Bmin v.1.0.1
This program is designed to visualize the minimization of Boolean functions. The Quine-McCluskey algorithm is used for the minimization. The visualization is demonstrated on the Karnaugh map and the Boolean n-cube.
The Boolfreak Minimizer v.1.0
Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms).