Элементы схемотехники цифровых устройств обработки информации | страница 8



2.4 Минимизация логических формул

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

2.4.1 Расчётный метод минимизации

Применение этого метода состоит в последовательном применении к некоторой формуле законов и правил тождественных  преобразований алгебры логики. При этом широко используют следующие приёмы: прибавление одного или нескольких членов, входящих в СДНФ, поскольку X ∨ X ∨ X = X; выделение членов, содержащих множитель

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

Пример: Минимизировать функцию СДНФ мажоритарного элемента (См. п.2.2) и реализовать его схему на элементах основного базиса.

Склеивая первые три минтерма с четвёртым, получаем ДНФ функции мажоритарного элемента, которая проще СДНФ: 

Y = X>1·X>2X>1·X>3X>2·X>3 

Минимизированная функциональная схема мажоритарного элемента приведена на рисунке 7.

Рисунок 7 Функциональная схема мажоритарного элемента, реализованная на основе минимизированной функции ДНФ 


Из сравнения схем, приведённых на рисунках 3 и 7 следует, что в минимизированной схеме число по Квайну уменьшилось с 19 до 9.

Метод минимизирующих карт Карно

Карты Карно — это графическое представление таблиц истинности логических функций. Они содержат по 2>n ячеек, где n — число логических переменных. Например, карта Карно для функции трёх переменных содержит 2>n=2>3=8 ячеек, для четырёх переменных — 2>4=16 ячеек.

Карта размечается системой координат, соответствующих значениям входных переменных. Обратим особое внимание на то, что координаты столбцов (а также и строк, если n>3), следуют не в естественном порядке возрастания двоичных кодов, а так: 00 01 11 10. Это делается для того, чтобы соседние наборы (в том числе и столбцов 1 и 4) отличались лишь одной цифрой в каком-либо разряде. 

Процесс минимизации заключается в формировании правильных прямоугольников, содержащих по 2>k ячеек, где k — целое число. В прямоугольники объединяются соседние ячейки, которые соответствуют соседним элементарным произведениям (т. е. отличаются только в одном разряде). 

Несмотря на то, что карты Карно изображаются на плоскости, соседство квадратов устанавливается на поверхности тора. Верхняя и нижняя границы карты как бы склеиваются, образуя поверхность цилиндра. При склеивании боковых границ получается поверхность тора.