Лабораторная № 3
.doc
Правильный вариант (исходная таблица):
-
x1
0
1
0
1
0
1
0
1
x
x3
20
0
1
1
0
0
1
1
x
x5
40
0
0
0
1
1
1
1
0
0
1
0
0
0
1
0
0
0
1
0
1
0
1
1
1
0
1
1
0
1
1
1
1
1
1
0
0
0
1
1
1
1
1
1
1
0
0
0
Видно, что таблицы совпадают, значит, минимальная форма f= верна.
Вывод: в результате работы была получена минимальная дизъюнктивная форма заданной логической функции методом минимизации на гиперкубах. Результат совпал с МДНФ, полученной ранее методом Квайна-МакКласки, что подтверждает правильность результата. Метод минимизации на гиперкубах удобен как для ручного, так и для автоматизированного выполнения для функций с любым количеством переменных. При небольшой размерности функции возможна минимизация просто путем изучения графического представления функции, для больших размерностей наглядность такого представления несколько падает и более удобным становится формальный метод.