Задача на C++

[jamik2012]

Всем доброго дня, дано вот такое задание :
Написать и протестировать функцию, моделирующую работу одноразрядного сумматора. Слагаемые имеют длину n разрядов и записаны в дополнительном коде ( формат с фиксированной запятой).
Принята следующая нумерация разрядов n-1.n-2,.....,1,0
Формулы получения i-го разряда суммы и переноса в i+1-й разряд имеют вид:
Si=Ai^Bi^Pi
Pi+1=Ai*Bi+Ai*Pi+Bi*Pi 0,....,n-1; P0=0
Наряду с суммой должны быть сформированы одноразрядные признаки результатов:
Знак sq=sn-1
Перенос с=Pn
Переполнение v=Pn*Pn-1+Pn*Pn-1
Выше приняты следующие обозначения операций:
*-логическое умножение
+-логическое сложение
^-сложение по mod2(исключающее или)
_отрицание не
Вобщем запутался я с этим задание, помогите пожалуйста советом как всё это сделать=)
Заранее спасибо)