Boolean Algebra is a powerful and comprehensive app that allows users to resolve complex Boolean expressions with ease. Developed by Gaurav Mathur, this app has been highly successful on desktop platforms and is now available for iPhone users.

This app offers a wide range of features to help users work with Boolean expressions effectively. Users can directly update K-Maps and derive multiple minimized solutions, instead of just one. The app also allows users to update truth tables and generate minimized K-Map values, corresponding circuits, and much more.

One of the standout features of Boolean Algebra is the ability to view and interact with the minimized circuit. Users can switch between all the minimal solutions available and tapping on a variable name in the circuit will toggle its value, updating the circuit accordingly.

In addition to these features, the app also provides options to view Sum of Products, Product of Sums, Min terms, and Max terms. It includes interactive sections to learn more about all the gates such as AND, OR, NOT, XOR, XNOR, NAND, and NOR.

Boolean Algebra also offers the flexibility to change the variable order in the K-Map and supports Dark Mode for a more comfortable viewing experience.

The developer has plans to further enhance the app with upcoming features such as a quick search for minimized solutions, easy verification of answers with explanations, the option to generate circuits using universal gates, support for "do not care" values, and the ability to work with more than four variables. Additionally, the app will include zoom in/out functionality for circuits.

With its comprehensive set of features and intuitive interface, Boolean Algebra is a must-have tool for anyone working with Boolean expressions.