Х1 | Х2 | Х3 | y |
Рассмотрим пример синтеза комби- национного устройства, реализующего таблицу истинности (табл. 2).
Составим логическое уравнение для выходной функции y. ДСНФ выходной функции состоит из логической суммы нескольких слагаемых.
Каждое соответствует строчке таблицы истинности, в которой выходная функция равна единице и представляет собой логическое произведение всех выходных переменных, причем входная переменная берется без инверсии, если в строке она равна единице и с инверсией, если нулю. В соответствии с приведенной таблицей истинности (табл. 2) ДСНФ имеет вид:
(1)
Составим логическое уравнение на основе КСНФ. КСНФ состоит из логического произведения нескольких сомножителей. Каждый из них соответствует строчке таблицы истинности, в которой выходная функция равна нулю и представляет собой логическую сумму всех входных переменных. При этом входная переменная берется с инверсией, если в строчке она равна единице, и без инверсии, если нулю.
|
|
КСНФ функции y имеет вид:
. (2)
Таблица 3. Законы алгебры логики
№ пп | Наименование | Логическое выражение | Релейно-контакторная реализация |
Закон нулевого множества | 0 · X = 0 0 + X = X | ||
Закон универсального множества | 1 · X = X 1 + X = 1 |