Лабораторная работа 2 ОТКДС (553860), страница 2
Текст из файла (страница 2)
Исходная форма левой части (3) есть КНФ, не содержащая инверсий переменных. В результате эквивалентных преобразований – раскрытия всех скобок и после выполнения всех возможных операций поглощения, получим МДНФ ЛФП.
(4)
Левую часть (4) можно трактовать как дизъюнкцию всех минимальных покрытий множества 
, причем Ql (l = 1,2,...k) – множество номеров простых импликантов, образующих конкретную ТДНФ, k – количество всех тупиковых ДНФ. На этом задача нахождения множества всех ТДНФ решена.
Программная реализация методов минимизации ФАЛ. Для поиска МДНФ используется стандартная программа, написанная на языке C++. Вид экрана при работе по минимизации функций алгебры логики приведен ниже.
Лабораторные работы по курсу: ОТКДС
г====================================================================¬
¦ Минимизация Функций Алгебры Логики ¦
¦====================================================================¦
¦ Число переменных ФАЛ: ¦
¦ 5 ¦
¦ Изображающее число ФАЛ: ¦
¦ 0 0 1 . . . 0 1 0 1 0 0 0 0 0 0 0 0 0 0 ¦
¦====================================================================¦
¦ Работу выполнил: ¦
¦ Файл с результатами: minfal1.rez ¦
¦ Ключи печати ¦
¦ Печать СДНФ Да ¦
¦ Печать Сокращенной ДНФ Да ¦
¦ Печать имликантной матpицы Да ¦
¦ Печать всех вариантов покрытия Нет ¦
L= F4-Вычисления F10-Выход =-
Данная программа рассчитана на минимизацию ФАЛ от 2 до 5 переменных. Для изменения числа переменных ФАЛ требуется установить курсорное поле в позицию под полем «Число переменных ФАЛ» и ввести необходимое значение. После чего количество элементов, отводимых под задание изображаемого числа ФАЛ, на экране будет автоматически скорректированно.
Для ввода изображающего числа ФАЛ требуется установить курсорное поле в соответствующую позицию и нужным образом скорректировать его нажатием клавиши <Enter> или <Пробел>. По окончанию ввода изображающего числа ФАЛ требуется ввести фамилию выполняющего работу, имя файла результатов и соответствующим образом установить ключи печати. Имя файла с результатами должно быть уникальным, чтобы не затирать файлы других пользователей. Переключение ключей осуществляется также как и корректировка изображающего числа ФАЛ путем нажатия клавиши <Enter> или <Пpобел>.
Для начала выполнения расчетов необходимо нажать клавишу <F4>. По окончанию расчетов будет сформирован файл с результатами.
Контрольные вопросы
-
Что такое СкДНФ, ТДНФ, МДНФ, КрДНФ?
-
В чем состоят идея, преимущества, недостатки методов неопределенных коэффициентов, Квайна, Мак – Класски, карт Вейча, метода ЛФП?
-
Что такое импликантая матрица?
-
Чему равно число неопределенных коэффициентов для 3-х, 4-х переменных?
-
В чем состоит операция неполного склеивания?
Варианты ФАЛ для заданий по лабораторной работе №2
Варианты заданий к п. 1 (ФАЛ 3-х переменных)
| NN | Элементы множества Т1 |
| 1 2 3 4 5 6 7 8 9 10 | 0, 1, 2, 5, 6, 7 0, 2, 4, 3, 5, 7 1, 4, 0, 7, 3, 6 1, 2, 3, 4, 5, 6 0, 3, 4, 5, 6 0, 6, 1, 3, 5 0, 5, 2, 6, 3 0, 1, 2, 6, 7 0, 2, 3, 4, 5 2, 3, 4, 5, 6 |
Варианты заданий к п. 4 (ФАЛ 4-х переменных)
| NN | Элементы множества Т1 |
| 1 2 3 4 5 6 7 8 9 | 0, 2, 4, 5, 6, 8, 9, 13, 14 9, 10, 2, 0, 1, 5, 6, 12, 13 1, 2, 4, 5, 8, 9, 10, 12, 13 0, 1, 2, 5, 6, 8, 9, 12, 13 0, 4, 8, 10, 12, 1, 3, 11, 13 0, 8, 1, 5, 9, 2, 6, 7, 11 0, 1, 2, 10, 3, 8, 12, 14, 7 0, 1, 4, 3, 6, 7, 8, 9, 13 0, 2, 4, 6, 7, 8, 12, 14, 15 0, 4, 5, 8, 10, 11, 12, 14, 15 |
Варианты заданий к п. 2 (ФАЛ 5-ти переменных)
| NN | Элементы множества Т1 |
| 1 2 3 4 5 6 7 8 9 10 | 0, 1, 2, 3, 5, 7, 10, 13, 14, 15, 19, 20, 22, 23, 26, 28, 30, 31 0, 2, 4, 6, 8, 10, 14, 20, 26, 28, 30, 7, 9, 13, 15, 21, 25, 29, 31 0, 8, 16, 24, 9, 25, 18, 11, 19, 27, 28, 5, 21, 29, 22, 7, 23, 31 0, 16, 1, 17, 18, 19, 5, 22, 7, 23, 25, 10, 11, 27, 13, 14, 15, 31 0, 4, 8, 12, 20, 28, 9, 21, 25, 29, 14, 18, 26, 30, 11, 19, 27, 31 0, 16, 8, 24, 20, 28, 10, 22, 14, 30, 25, 5, 13, 29, 11, 7, 15, 31 0, 1, 16, 17, 9, 25, 20, 13, 28, 29, 19, 10, 18, 27, 21, 14, 30, 31 0, 2, 1, 3, 18, 19, 9, 26, 25, 27, 7, 20, 21, 23, 13, 28, 29, 31 0, 2, 4, 6, 5, 7, 18, 21, 19, 23, 14, 9, 11, 15, 26, 25, 27, 31 0, 8, 4, 12, 10, 14, 5, 11, 7, 15, 28, 18, 22, 30, 21, 19, 23, 31 |
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
