The document contains solutions to problems from Chapter 2 of the textbook Digital Design by M. Mano. It includes: 1. Simplifying Boolean expressions using algebra including expressions with xy, (x+y)(x+y'), xyz + x'y, and (A+B)'(A'+B')'. 2. Finding complements of Boolean expressions such as xy'+x'y and (AB'+C)D'+E. 3. Converting between sum of minterms and product of maxterms representations including for expressions like (xy + z)(y + xz). 4. Proving properties of binary operations like inhibition and exclusive-OR.