After enormous success in desktop for over a decade, the original "Boolean Algebra" app is here on iOS.
What it does, well almost everything.
 - Resolve complex Boolean expressions.
 - Directly update K-Map and derive minimized solutions (all possible minimal solutions, not just one).
 - Update Truth table and generate minimized K-Map values, corresponding circuit, and lot more.
 - View and interact with minimized circuit. You can also switch between all the minimal solutions available. 
 - Tapping on the variable name in the circuit will toggle its value, zero or one, and update the circuit accordingly.
 - You also have an option to view Sum of Products, Product of Sums, Min terms and Max terms.
 - Interactive section(s) to learn more about all the gates (AND, OR, NOT, XOR, XNOR, NAND and NOR)
 - Option to change variable order in K-Map
 - Dark Mode
What is next?
 - Quick search for minimized solution.
 - Easy to verify answers with explanation (why it is wrong)
 - Option to generate circuits using universal gates
 - Adding "do not care" option
 - Support for more than four variables
 - Zoom in/out in circuit