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

[Monolag]

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

[Black Fregat]

Это вообще как нужно делать? Просто на бумаге?

[Monolag]

Да, преподавателю разницы нет

[Monolag]

Это просто домашняя работа и доделать там нужно две строки. Проверить на правильность тоже было бы неплохо, нужно скоро сдавать