Практическая работа № 3

Тема: Минимизация логических функций методом Квайна

Цель работы: Научиться получать МДНФ и МКНФ функции, заданной таблицей
Теоретические сведения
1. Минимизация логических функций методом Квайна
Метод Квайна позволяет представлять функции с минимальным числом членов и
минимальным числом символов в членах. Преобразование осуществляется в несколько
этапов. Рассмотрим минимизацию логической функции, заданной таблицей 2.1.5.
Чтобы получить минимальную дизъюнктивную нормальную форму (МДНФ) необходимо:
1. Записать СДНФ функции, заданной таблицей

2. Выполнить операцию склеивания между членами, отличающимися в одном

аргументе. Результатами склеивания будут одинаковые аргументы.

1-2

2-3
3-4
3. Результаты склеивания добавить в качестве дополнительных членов к исходной
СДНФ и выполнить операцию поглощения. Результаты склеивания поглощают те члены,
из которых они получились.

В результате получаем сокращенную ДНФ, члены которой называются простыми

импликантами.
4. Построить импликантную матрицу, в столбцах которой записать члены
исходной СДНФ, а в строках - простые импликанты. Звездочками отметить члены СДНФ,
поглощаемые каждой простой импликантой.
Простые Члены СДНФ
импликанты
* *
* *
* *
5. В МДНФ включить минимальное количество простых импликант (с минимальным
количеством символов), обеспечивающих поглощение всех членов СДНФ.

Чтобы получить МКНФ необходимо аналогичные преобразования выполнить над

СКНФ.
Рассмотрим минимизацию логической функции, заданной таблицей 2.1.6.
Таблица 2.1.6. Таблица истинности функции.
Х
1 0 0 0 0 1 1 1 1
Х
2 0 0 1 1 0 0 1 1
Х
3 0 1 0 1 0 1 0 1
ƒ 0 0 1 0 1 0 1 1
 1. Записать СКНФ функции, заданной таблицей

2. Выполнить операцию склеивания между членами, отличающимися в одном аргументе.

Результатами склеивания будут одинаковые аргументы.
1-2

2-3

2-4
3. Результаты склеивания добавить в качестве дополнительных членов к исходной
СДНФ и выполнить операцию поглощения. Результаты склеивания поглощают те члены,
из которых они получились.

В результате получаем сокращенную КНФ, члены которой называются простыми

импликантами.
4. Построить импликантную матрицу, в столбцах которой записать члены
исходной СКНФ, а в строках- простые импликанты. Звездочками отметить члены СКНФ,
поглощаемые каждой простой импликантой.
Простые Члены СКНФ
импликанты
* *
* *
* *
5. В МКНФ включить минимальное количество простых импликант (с минимальным
количеством символов), обеспечивающих поглощение всех членов СКНФ.

2. Синтез логических устройств в базисах «ИЛИ-НЕ», «И-НЕ»

Рассмотрим последовательность синтеза логического устройства на примере
функций, полученных в разделе 2.1.2.
Чтобы построить схему в базисе «И-НЕ» необходимо получить МДНФ, дважды ее
проинвертировать, одну инверсию раскрыть по правилу Моргана, записывая логическое
выражение через операцию”И НЕ“.
 Чтобы построить схему в базисе «ИЛИ-НЕ», необходимо получить МКНФ,
дважды ее проинвертировать и одну инверсию раскрыть по правилу Моргана, записывая
логическое выражение через операцию «ИЛИ-НЕ».

3. Некоторые особенности построения схем логических устройств

Построенная структурная схема логического устройства может содержать
элементы с разным числом входов. Так, в схеме на рисунке используются, кроме
инверторов, элементы ИЛИ–НЕ с двумя и тремя входами. В выпускаемых
промышленностью сериях элементов обычно предусматриваются элементы с разным
числом входов и для построения устройств в большинстве случаев могут быть
использованы элементы точно с тем же числом входов, какое требуется в отдельных
элементах структурной схемы.
Иногда по разным соображениям приходится использовать в схеме элементы,
число входов у которых больше или меньше чем то, которое требуется при
рассмотренных выше способах синтеза устройств. Ниже рассматриваются возникающие в
этих случаях особенности в построении устройств.
Рассмотрим случай использования элементов, имеющих избыточное число входов.
Для определенности примем, что элементы имеют три входа, причем для подачи входных
переменных требуется лишь два входа. Избыточный вход мог бы быть оставлен
свободным (не подключенным к каким-либо цепям), как это показано на рисунке 2.1.3.

Рисунок 2.1.3.
Однако из соображений уменьшения влияния наводимых на этот вход помех
нежелательно неиспользуемый вход оставлять свободным. При этом возможны
следующие способы его включения.
Неиспользуемый вход может быть подключен к любому из используемых входов.
Этот прием показан на рисунке 2.1.4.
 Рисунок 2.1.4.
Недостаток такого способа соединения состоит в следующем. Объединение входов
приводит к тому, что к выходу источника входного сигнала (т.е. к выходу предыдущего
элемента, с которого сигнал подается на вход данного элемента) оказывается
подключенным большее число входов элемента. Такое возрастание нагрузки вызывает
увеличение задержки распространения сигнала, снижение быстродействия элемента.
Из этих соображений наиболее удачным следует считать способ при котором на
неиспользуемый вход подается логическая константа 0 или 1 (т.е. потенциал,
соответствующий логической константе 0 либо 1) Такой способ соединения показан на
рисунке 2.1.5.

Рисунок 2.1.5.
Здесь на свободные входы элементов ИЛИ и ИЛИ-НЕ подается постоянный
потенциал уровня, соответствующего логическому 0, а для элементов И и И – НЕ –
потенциал уровня, соответствующего логической 1.
В качестве инверторов обычно применяются элементы ИЛИ – НЕ или И – НЕ, в
которых используется лишь один вход, остальные входы соединяются способом,
описанным выше (рисунок 2.1.6).

Рисунок 2.1.6.
Теперь рассмотрим более сложный случай построения устройств на элементах с
недостающим числом входов.
На рисунке 2.1.7 показан способ реализации трехбуквенного члена логического
выражения функции на различных типах элементов с двумя входами.

Рисунок 2.1.7.
В логическом выражении может оказаться несколько членов с числом букв,
превосходящим число входов элементов. В этом случае для сокращения числа
используемых элементов следует провести соответствующее преобразование групп
членов. Этот прием покажем на примере реализации преобразования логической функции
().

Пусть требуется построить устройство, реализующее () на двухвходовых элементах

И – НЕ. В логическом выражении сгруппируем два последних члена, вынеся за скобки х 3
идважды проинвертируем его.

К полученному выражению применим формулу де Моргана

Пользуясь формулой де Моргана можно преобразовать к виду

.
После подстановки в предыдущее выражение получим

.
Запишем данное выражение через операцию И—НЕ

Построенная по этому выражению схема приведена на рисунке 2.1.8.

Рисунок 2.1.8.
Задание.
1.Получить МДНФ и МКНФ для заданной таблицы
Вариант 1 Вариант 2
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 0 1 0 0 1 1 f 0 1 0 0 1 1 0 1
Вариант 3 Вариант 4
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 1 1 1 0 0 0 f 1 0 0 1 1 1 0 0
Вариант 5 Вариант 6
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
 x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 0 0 0 1 0 1 1 f 1 1 0 1 0 0 1 0
Вариант 7 Вариант 8
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 0 1 1 0 1 0 0 f 1 1 0 0 0 0 1 1
Вариант 9 Вариант 10
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 1 0 0 1 0 0 1 f 1 0 1 0 0 0 1 1
Вариант 11 Вариант 12
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 0 1 0 1 0 1 1 f 1 0 1 1 0 0 0 1
Вариант 13 Вариант 14
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 0 1 0 1 0 0 1 f 0 0 1 1 0 0 0 1
Вариант 15 Вариант 16
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 0 1 1 1 0 0 f 0 1 0 0 1 1 1 0

Вариант 17 Вариант 18
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 0 0 1 1 1 0 f 1 1 0 0 0 1 0 1
Вариант 19 Вариант 20
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 1 0 0 0 0 1 1 f 0 1 0 1 1 0 0 1
Вариант 21 Вариант 22
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 0 0 1 1 0 1 f 0 0 1 0 0 1 1 1
Вариант 23 Вариант 24
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 1 1 1 0 0 0 f 1 1 0 0 1 0 1 0
Вариант 25 Вариант 26
 x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 1 0 0 0 0 1 1 f 1 1 1 0 1 0 0 0
Вариант 27 Вариант 28
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 0 1 1 1 0 0 1 0 f 1 0 0 0 1 1 1 0
Вариант 29 Вариант 30
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 0 1 0 0 1 1 0 f 0 1 1 0 0 1 1 0
Вариант 31 Вариант 32
x1 0 0 0 0 1 1 1 1 x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1 x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1 x3 0 1 0 1 0 1 0 1
f 1 0 0 1 1 1 0 0 f 0 1 1 1 0 0 0 1

Пример выполнения задания.

1. Получить МДНФ функции, заданной таблицей.

Х1 0 0 0 0 1 1 1 1
Х2 0 0 1 1 0 0 1 1
Х3 0 1 0 1 0 1 0 1
ƒ 1 0 0 0 1 0 1 1

а) Записываем СДНФ функции, заданной таблицей.

б). Выполняем операцию склеивания.

1-2

2-3
3-4
в). Результаты склеивания добавляем к исходной СДНФ в качестве
дополнительных членови выполняем операцию поглощения.

В результате получаем сокращенную форму, члены которой называют простыми

импликантами.
г). Строим импликантную матрицу.

Простые Члены СДНФ

импликанты
* *
 * *
* *

д). В минимальную форму включаем минимальное количество простых импликант,

обеспечивающих поглощение всех членов СДНФ

е). Выражаем логическую функцию через операцию и-не.

ж). Строим схему в базисе «И-НЕ»

Для построения схемы используется микросхема К155ЛА3, содержащая 3 двухвходовых

элемента «И-НЕ».