Karnaugh map solver with truth table inputs and a minimized function in product of sums form output. K-map solver for 2, 3, 4 and 5 variables.