Logic Minimizer - Version 1.2 Logic Minimizer is a special application forsimplifying logical expressions, namely Boolean andpropositional expressions. It is geared for thoseinvolved in engineering fields, more precisely digitaland formal logic scholars and academics, digitaldevices constructors or anybody involved with logicalexpressions. Features:Minimize Boolean and propositional formulae up to 24variables Convert Boolean formulae into SOP, POS and decimalnotation Work with Karnaugh map, truth table and sets of terms Highlight minimized term on Karnaugh Map Draw logic circuit with various types of logic gatesOptimize 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 yourformula before entering Step by step simplification of Boolean andpropositional expressions