This project contains Java code to implement a Kmap solver, limited to 3 variables. On entering the truth table or minterms, it gives the minimal SOP form, using 3-variable K-map as the minimization technqiue.