Разработка дискретного устройства (ДУ). Синтез преобразователя параллельной формы сигнала в последовательную, страница 13

При минимизации по методу Квайна предполагается, что исходная функция задана в СДНФ. Как видно из таблицы значения j3 заданы не для всех возможных значений состояний триггеров. Поэтому неполностью заданную функцию в неопределенных состояниях дополним единицами. Результат представлен в таблице 6.

Таблица 6 – Функция j3

A1

0

1

0

1

0

1

0

1

A2

0

0

1

1

0

0

1

1

A3

0

0

0

0

1

1

1

1

J3

0

0

0

1

~

~

~

~

0

0

0

1

1

1

1

1

Задача минимизации по методу Квайна состоит в попарном сравнении всех импликант, входящих в СДНФ, с целью выявления возможности поглощения какой-то переменной. Таким образом удается снизить ранг коньюнкций. Эта процедура проводиться до тех пор, пока не останеться ни одного члена, допускающего поглощение с каким-либо другим членом.

Полученное выражение не всегда оказывается минимальным. Поэтому производиться дальнейшее упрощение путем составления импликантной таблицы.

Запишем функцию j3:

J3 = a3 a2 a1 V a3 a2 a1 V a3 a2 a1 V a3 a2 a1 V a3 a2 a1

Этап 1

a3a2a1

a3a2a1

a3a2a1

a3a2a1

a3a2a1

a3a2a1

1

a2a1

a3a2a1

1

a3a2

a3a1

a3a2a1

a3a2

1

a3a1

a3a2a1

a3a1

1

a3a2

a3a2a1

a2a1

a3a1

a3a2

1

Этап 2

a2a1

a3a2

a3a1

a3a1

a3a2

a2a1

1

a3a2

1

a3

a3a1

1

a3

a3a1

a3

1

a3a2

a3

1

Импликантная таблица

a3a2a1

a3a2a1

a3a2a1

a3a2a1

a3a2a1

a2a1

V

V

a3

V

V

V

V

Как видно из импликантной таблицы ядро состоит: a2a1 и a3.

Тогда функция j3 примет вид:

J3 = a3 V a2 a1

Ввиду громоздкости метода последующие минимизации выполним с помощью карт Карно.

K1:

A2

A1

1

1

A3

J1:

A2

A1

1

0

1

A3