Karnaugh & Boolean Minimizer 6.0.1

Karnaugh & Boolean Minimizer is a comprehensive application designed for simplifying Karnaugh Maps and Boolean expressions. Tailored for professionals in the engineering fields, particularly electrical engineering students, academics, digital device constructors, and anyone working with Boolean expressions. The tool offers robust minimization capabilities and a range of features that allow flexible work with various forms of Boolean expressions, ensuring high-quality solutions.

• Minimize Karnaugh Maps with up to 8 variables
• Step-by-step simplification of Boolean expressions with up to 26 (A-Z) variables using Boolean algebra laws and theorems
• Step-by-step simplification of Boolean functions with up to 8 variables through the Quine–McCluskey algorithm, displaying the prime implicant chart and using Petrick's method where applicable
• Multi-output minimization with up to 8 inputs and 8 outputs, utilizing the industry-standard Espresso algorithm
• View minimized solutions on a Karnaugh Map in Sum-of-Product (SOP/CNF) and Product-of-Sum (POS/DNF) forms
• Support for Don't Cares
• Fill Karnaugh maps using truth tables, sets of terms, and Boolean expressions
• Explore all possible solutions for Karnaugh Maps with up to 5 variables
• Guaranteed minimal solution when employing the Karnaugh Map, Quine–McCluskey, and Algebraic Minimizer techniques
• Highlight minimized terms on Karnaugh maps
• Optimize minimized solutions with XOR gates
• Generate circuits from minimized solutions with AND/OR/NAND/NOR logic gates
• Create random Karnaugh Maps, truth tables, and Boolean expressions
• Custom keyboard for convenient input of Boolean expressions
• Support for all Boolean operators and constants
• Highly customizable Karnaugh Map orientation, variable names, operator symbols, and expression formats
• Import/Export Karnaugh Maps and truth tables as CSV files
• Included Beautiful Dark Mode for enhanced visual comfort