Morgana Pro 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.