Em circuitos digitais combinacionais, os somadores completos são blocos lógicos capazes de realizar a soma de duas variáveis, sendo alguns de dois bits certos contando com um bit de transporte de entrada, normalmente indicado por carry-in (Cin). Como resultado, o circuito produz duas saídas: a soma (S) e o transporte de saída (Cout), conforme a figura abaixo:

Com base na figura, em que se observa um desses circuitos, e nos fundamentos de circuitos digitais com portas lógicas, assinale a alternativa correta sobre o funcionamento do circuito apresentado.