Синтез Автомата Мура на 2 RS триггерах

Здравствуйте, нужна Ваша помощь в синтезе автомата Мура на 2-х RS триггерах.

Лучше всего выполнить RS триггеры на элементах "ИЛИ - НЕ" (Нагляднее, чем компонент RS от EWB)

Граф-схему автомата прикладываю (ГСА.png).

Состояний автомата: 4;

Кодированные состояния автомата:

Q0 = 00,

Q1 = 01,

Q2 = 10,

Q3 = 11.

При этом Входной сигнал только 1 (Синхросигнал, X0 = C). Примерную схему прикладываю в виде скриншота (Scheme).

Средства разработки схемы: только Electronic WorkBench 512 (EWB512).

Что требуется: Необходимо обеспечить корректные переходы из Qi в Q(i+1) при подаче входного синхроимпульса в данном автомате. На выходные сигналы Y можно не обращать внимание.

Если в ходе построения требуются особые настройки Генератора слов или логического анализатора, то не забудьте их, пожалуйста, обозначить для заказчика).

Желательно приложить таблицу переходов, карты Карно/Вейча с небольшими пояснениями.

Но как минимум: требуется правильно работающая схема в EWB 512.