Все расписывать,ТИ, минимизация и карты карно нужны(если это возможно с этим заданием). 1>0 - обозначает переход из 1 в ноль, т.к. действие осуществляется по убыли импульса.
Порядок перехода счетчика как суммирующего, так и отрицательного задан слева направо.