Построить накапливающий сумматор - Теория автоматов

[Monolag]

Здравствуйте. Нужно построить накапливающий сумматор для формирования поразрядных сумм и переносов в темпе поступления на вход сумматора 2 двоичных чисел произвольной длины, начиная с младших разрядов. В решение необходимо включить обработку конца операции (++).
Я почти доделал все, что требовалось. Единственное - не могу доделать таблицу автомата с кодом (не могу разобраться именно с ++) и не понимаю как построить карты Карно для последней таблицы, которую я не могу доделать. Карт нужно 5. Я их смогу заполнить сам, мне просто нужно понять как должно получиться именно 5, да еще и 4x4 (так сказал преподаватель)
Скан того, что я сделал - прикрепил. Задание переписал. Очень прошу помочь.
В а0 а1 вообще могут поступать +?
И, насколько я понял, первая строка ++ будет n n n p n
Вторая p n p n p
Но в этом я не уверен...

[Monolag]

Нашел в интернете по этой теме, с картой Карно... Но все же не понимаю что делать с y a0 a1... И вообще, возможно ли построить карту 4х4?