Simplifying Boolean expressions with the laws of Boolean algebra.
Simplify Boolean expressions using the laws of Boolean algebra — any equivalent form is accepted.
Find the minimal Sum-of-Products expression for a function given by its minterms.
