IBM Ponder This June 2010 Challenge (tough!)

The following circuit computes a known Boolean function; but it contains a single gate error.


Image Credit: #-Link-Snipped-#

What is the function? Which gate is wrong, and what should it be? Pay attention to the inverters (the small hollow circles on the right end of some of the gates)

The bundle of wires on the right side is not a mistake - this circuit has several Boolean outputs.