KMapSolver

Qt C++ and Lepton Based K-Map solver for unlimited variables

Demo

1. Simplify: (A + C)(AD + AD) + AC + C

2. Simplify: A(A + B) + (B + AA)(A + B)

3. Simplify: a'b'c + a'bc' + ab'c' + ab'c + abc' + abc

Check Solution

1, 2: http://sandbox.mc.edu/~bennet/cs110/boolalg/simple.html

3: http://babbage.cs.qc.cuny.edu/courses/Minimize/

Reference:

[1]. Thanks to Abdelrahman Elzedy for the core KMap Minimizer Program for infinite variables.

[2]. Lepton Math Parser for C++