Условия работы комбинационного устройства
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Условия работы комбинационного устройства, имеющего четыре входа (X1, X2, X3, X4) и один выход F0, заданы таблицей истинности (табл.1.1). Требуется синтезировать функциональную логическую схему устройства в базисе ИЛИ-НЕ, применяя методы минимизации заданной логической функции с помощью алгебраических преобразований и с использованием карт Карно.
Таблица 1.1 - Таблица истинности
Нужно полное решение этой работы?
Решение
Перейдем от таблицы истинности к структурной формуле в базисе И, ИЛИ, НЕ.
Так как количество наборов значений входных переменных, при которых значение функции равно 1, превышает количество наборов, при которых функция принимает нулевое значение (9 > 7), то применим совершенную конъюнктивную нормальную форму (СКНФ) представления функции. При записи структурной формулы в виде СКНФ для каждой строки таблицы истинности, в которой значение функции равно “0”, запишем дизъюнкцию (логическое сложение) всех входных переменных, а затем объединим их знаками конъюнкции (логическое умножение). Если значение какой-либо входной переменной в строке таблицы истинности равно 0, то такую переменную в макстерме запишем в прямом виде (X), если равно 1 – в инверсном (X)
.
Составим СКНФ:
Минимизация ФАЛ.
Метод минимизации заданной логической функции с помощью алгебраических преобразований.
При минимизации ФАЛ применим один из основных законов булевой алгебры - закон склеивания .
Склеим следующие пары:
1 и 5: ;
2 и 3: ;
3 и 7: ;
4 и 5: ;
6 и 7: .
Макстермы , и участвуют в склеивании несколько раз, для них применили аксиому алгебры логики .
В результате склеивания получили следующее выражение:
Склеим в следующие пары:
1 и 3: ;
2 и 5: ;
4 и 5: .
Макстерм участвуют в склеивании несколько раз, для него применили аксиому алгебры логики .
Получили минимальную КНФ (МКНФ):
Метод минимизации с помощью карт Карно
Карта Карно: в каждой клетке укажем значение функции, которое она принимает на наборе значений переменных, являющихся ее координатами