Я изо всех сил пытаюсь написать таблицу истинности для этой диаграммы состояний для триггеров jk.

Диаграмма перехода состояний (STD) из вашего сообщения просто описывает возможные состояния, результаты для каждого состояния и возможные условия перехода между состояниями.

В опубликованном STD есть 4 состояния: S0, S1, S2 и S3. Это означает, что система может находиться в любом состоянии от S0 до S3, но не более чем в одном состоянии одновременно. Для каждого состояния на диаграмме вы можете видеть полосу с названием состояния вверху и выводом внизу. Таким образом, для всех состояний, кроме S3, выход системы будет 0, а в S3 система выдаст 1. Это означает, что пока вы находитесь в этом состоянии, выход системы будет этим значением. (См. «Машина Мура»: http://en.wikipedia.org/wiki/Moore_machine)

Еще одна важная вещь, которую нужно знать, это то, как мы попадаем между штатами. Вот что говорят нам стрелки. Начиная с S0 (я предполагаю, что мы начинаем там, хотя в вашем сообщении нет явной точки входа), мы можем либо перейти к S1 (стрелка вправо), либо остаться в S0 (стрелка цикла) в зависимости от входных данных. Входными данными в данном случае являются кнопки X и Y. Я также предположу, как и WeSt, что порядок {X,Y}, поэтому 10 означает, что X нажата (1), а Y не нажата (0). Таким образом, глядя на переходы от S0, мы видим, что петлевая стрелка имеет только вход 00, а правая стрелка к S1 содержит все остальные. Это означает, что если обе кнопки X и Y не нажаты (00), мы останемся в состоянии S0 (возьмем самостоятельную петлю), но если нажаты либо X, либо Y, либо обе (01,10,11), мы перейдем в состояние S0. стрелка вправо и перейти к S1. Остальные стрелки ведут себя одинаково: стрелка указывает на возможный переход, а значения рядом с этой стрелкой указывают условия, при которых вы берете эту стрелку. (Запятые в STD обычно интерпретируются как логическое ИЛИ).

Надеюсь, что это поможет вам понять STD! Реализация — это совсем другая тема, в этом может помочь этот сайт: http://www.ee.usyd.edu.au/tutorials/digital_tutorial/part3/t-diag.htm