Online K-map solver with product of sums output for 2, 3, 4 and 5 variable functions. POS Karnaugh map solver for boolean functions.