Karnaugh Minimizer is a good, trial version software only available for Windows, that belongs to the category Science & education software with subcategory Mathematics.