Задачка периодически попадающаяся на интервью на работу в области цифровой схемотехники (логический дизайн ASICов или board design).

Задача не сложная видимо, но я конкретно торможу чего-то сейчас, к вечеру мозги видимо заболочены конкретно.

Буду благодарен за подробное разъяснение решения.

Сначала вычисляется двухбитное колическтво единиц в 3 разрядах - это из определения полного сумматора (ну или операции сложения). Затем двухбитные числа складываются с помощью 2 разрядного сумматора с переносом и добавляется 7 ая потенциальная единица на входной перенос. Все логично, даже не понятно, что объяснять.

Спасибо, именно это и хотел понять. Чего-то у меня наблюдалось помутнение извилин...

ну когда временное помутнение - полезно начинать с таблицы истинности одноразрядного полного сумматора =)
а дальше всё ясно становится.

Ну да, ессно, так и есть.
Моя тугодумность нередко мутит мне мозги, потерял студенческий навык сидеть корпеть по ночам...