Espresso is a two level logic minimizer developed in University of California, Berkeley. You are allowed to use this tool for the project. Please download one of the ...