Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization capabilities and full-fledged features, you can work with all forms of logic expressions.

Features:

Minimize Boolean and propositional formulae up to 24 variables

Convert Boolean formulae into SOP, POS and decimal notation

Work with Karnaugh map, truth table and sets of terms

Highlight minimized term on Karnaugh Map

Draw logic circuit with various types of logic gates

Optimize simplified Boolean formula with XOR gates

Convert propositional formulae into DNF and CNF

Find validity of propositional formulae

Support all Boolean and propositional operators

Formula-input-friendly: no need to transform your formula before entering

Step by step simplification of Boolean and propositional expressions