Karnaugh map solver with product of sums output. The inputs are the list of maxterms and don't care conditions. Online K-map solver for maxterms.