Курсовая работа: Методы минимизации логических функций
7. Перейти к пункту 2.
8. Вывод полученной матрицы.
9. Конец.
Логическая схема алгоритма в нотации Ляпунова
1 1
VH V 1 Z 1 V 2 ¯ V 3 V 4 VK
VH – начало.
V1 – ввести матрицу ДСНФ исходной функции.
V2 – формировать массив простых импликант, предварительно пометив символом ‘*’ ту переменную, по которой данные строки склеиваются.
V3 – строку, которая не склеилась ни с одной другой строкой записать в конечный массив.
V4 – вывод полученной матрицы.
Z1 – если строки склеиваются, то перейти к пункту 3, в противном случае перейти к пункту 5.
VK – конец.
Граф-схема алгоритма.
Описание машинных процедур
Procedure Stuck(S1, S2: Diz; IndexS1, IndexS2 : byte);
Данная процедура склеивает два, передаваемых ей дизъюнкта. Дизъюнкты задаются в параметрах S1, S2. Индексы IndexS1, IndexS2 определяют индексы этих дизъюнктов в главном рабочем массиве . Алгоритм работы процедуры следующий: сначала ищется количество склеивающихся символов. Если их 0, то они одинаковые, и в конечный массив записывается только один из них. Если 1, то определяется местоположение символа, по которому данные две дизъюнкции склеиваются, и заменяем этот символ на ‘*’. Все полученные результаты заносятся в массив REZ.
Все остальные функции и процедуры программы связаны с действиями над массивами, то есть не имеют непосредственного отношения к данному методу нахождения МДНФ. Поэтому нет смысла их описывать.
2.2 Схема алгоритма для метода Петрика
1. Начало.
2. Ввести матрицу ДСНФ исходной функции и простые импликанты, полученные в методе Квайна.
3. Составить таблицу меток.
4. По таблице меток построить конъюнкцию дизъюнкций, каждая из которых есть совокупность тех импликант, которые в данном столбце имеют метки.
5. Произвести раскрытие скобок в полученном выражении с учетом законов поглощения.
6. Выбрать одну из полученных конъюнкций и представить ее как совокупность соответсвующих простых импликант.
7. Если выбранная комбинация не является минимальной, то перейти к пункту 6, в противном случае перейти к пункту 8.
8. Формировать МДНФ.
9. Вывод полученной матрицы.
10. Конец.