Прикладное программирование

Есть некое устройство имеющие два входа А и В и два выхода X и Y. Известно, что при подаче на входы цифровых сигналов, с выхода тоже снимаются сигналы преобразованные по правилам сложения двоичного кода, причем старший разряд снимается с выхода Х. Задача построить:
1. формальную модель описывающую логику работы устройства
2. компьютерную модель имитирующую работу данного устройства.