Karnaugh & Boolean Minimizer vs Boolean Algebra

Karnaugh & Boolean Minimizer is an innovative and versatile application for simplifying Karnaugh Maps and Boolean expressions. It is geared for those involved in engineering fields, more precisely electrical engineering students, academics, digital devices constructors or anybody involved with Boolean expressions. With its powerful minimization capabilities and full-fledged features, this tool gives you the flexibility to work with all forms of Boolean expressions and provides quality solutions. Features: - Minimize Karnaugh Maps up to 8 variables - Step-by-step simplification of Boolean expressions up to 26 (A-Z) variables using Boolean algebra laws and theorems - Step-by-step simplification of Boolean functions up to 8 variables by the Quine–McCluskey algorithm, showing the prime implicant chart and using Petrick's method where appropriate - Multi-Output minimization up to 8 inputs and 8 outputs, using the de-facto industry standard Espresso algorithm - View minimized solutions on Karnaugh Map in Sum-of-Product (SOP/CNF) and Product-of-Sum (POS/DNF) forms - Support Don't Cares - Fill Karnaugh map using truth table, sets of terms and Boolean expressions - View all possible solutions for Karnaugh Maps up to 5 variables - Guaranteed minimal solution when using the Karnaugh Map, Quine–McCluskey and Algebraic Minimizer - Highlight minimized term on Karnaugh map - Optimization of minimized solutions with XOR gates - Generate circuit from minimized solution with AND/OR/NAND/NOR logic gates - Generate random Karnaugh Maps, truth tables and Boolean expressions - Custom keyboard for easy input of Boolean expressions - Support all Boolean operators and constants - Fully customizable Karnaugh Map orientation, variable names, operator symbols and expression format - Import/Export Karnaugh Maps and truth tables as CSV files - Beautiful Dark Mode

After enormous success in desktop for over a decade, the original "Boolean Algebra" app is here on iOS. What it does, well almost everything. - Resolve complex Boolean expressions. - Directly update K-Map and derive minimized solutions (all possible minimal solutions, not just one). - Update Truth table and generate minimized K-Map values, corresponding circuit, and lot more. - View and interact with minimized circuit. You can also switch between all the minimal solutions available. - Tapping on the variable name in the circuit will toggle its value, zero or one, and update the circuit accordingly. - You also have an option to view Sum of Products, Product of Sums, Min terms and Max terms. - Interactive section(s) to learn more about all the gates (AND, OR, NOT, XOR, XNOR, NAND and NOR) - Option to change variable order in K-Map - Dark Mode What is next? - Quick search for minimized solution. - Easy to verify answers with explanation (why it is wrong) - Option to generate circuits using universal gates - Adding "do not care" option - Support for more than four variables - Zoom in/out in circuit