A free program for Android, by Kappsmart.

The Boolean Expression Minimizer is an educational tool that allows you to perform algebraic operations on Boolean expressions. It can be used in all fields of computer science and engineering such as computer programming, digital logic, electronic design, etc. It is especially useful for people who study or work with logic and Boolean algebras.

In this application, you can use two different modes to perform algebraic operations on Boolean expressions.

The first mode is the interactive mode wherein you are guided to perform an operation in each step. Hints are provided and the expressions are tested for validity and equivalence in each step.