Morgana Pro (without advertising) is a powerful tool to simplify arbitrarily complex Boolean expressions and equations. After entering the Boolean equation it shows you step by step the various simplification steps to the finished result! Morgana supports all standard axioms. Among the complementary laws, the distributive, the de Morgan's law, the associative laws idempotency, the neutrality laws, the extremely rule, the duality laws and the absorption law! Any or all processing steps can therefore be OPTIONALLY turned off. Morgana help science students to check Their complex equations. Further More electronic engineers, technicians and engineers get on with Morgana efficient tool to simplify Their boolean terms.