Shareware by Vikhetan Appa Downloads : 7 File size : 6493Kb OS : Windows All + Vista
Logic Minimizer is a special application ... propositional formulae into DNF and CNF
Find validity of propositional formulae ... to transform your formula before entering
