---

Добавлю от себя:
Если хватает понимания, можно проводить минимизацию "на лету". Как это делается:

У триггеров есть 2 варианта событий:переключение в ноль и переключение в единицу.
1)Рассмотрим столбик q0 в графе "Новое состояние".
2)Выпишем оба вида событий для q0. Получится что-то типа такого:

q0:
0<-st0,st2,st5na,st7,st8,st12,st14b,st14nb (Это переключение в ноль)
1<-st1,st3,st4,st5a,st6,st9,st10b,st10nb,st11,st13,st15 (Это переключение в единицу)

Примечание: смотрим на графу "Новое состояние", выписываем названия состояний "stXX" из графы "Старое состояние".
Примечание 2: у меня st5na,st14b и тд соответствуют вашим r0,r1 и тд. Я сделал так просто потому, что r0 для меня неинформативно, а st5na - сразу ясно, что идет переключение из состояния st5 по условию a=0.
Примечание 3: подозреваю, что если в одной строчке попадаются, например, st5a и st5na, то на дизъюнкцию можно сразу подавать st5. Но это не проверено. Можете проверить сами. =)

3)Аналогично повторяем для q1,q2,q3
4)Смотрим, в какой строчке состояний меньше. Например, для q0 в строчке переключения в ноль состояний 8 против 11 состояний в строчке переключения в единицу. Значит, выбираем переключение в ноль.
5)Значения из выбранной строки становятся входами для дизъюнкций с одним условием:
- если вы выбрали строчку переключения в ноль, то у дизъюнкции на выходе будет инверсия(элемент NOR);
- если вы выбрали строчку переключения в единицу, то дизъюнкция будет обычной(элемент OR);
6) В общем-то и все. =) Та дизъюнкция, к которой подключались состояния из строчки q0, имеет выход newq0 и подключается к триггеру, вырабатывающему q0, newq1 - к q1 и тд.