Логические уравнения

Краткая справка

Теоретический материал в полном объёме можно найти в работах [18,24,26].

Таблица базисных функций 4-значной комплементарной логики

Алгоритм "Селигер" решения логических уравнений

1. Привести систему уравнений к нулевому виду (исходная система).
2. Заполнить карту Карно нулями в соответствии с термами левых частей исходной системы уравнений, а в оставшиеся клетки вписать единицы. Эти единичные термы представляют собой СДНФ полной единицы системы.
3. Произвести минимизацию совокупности единичных термов. Полученное соотношение представляет МДНФ уравнения полной единицы системы.
4. Построить сокращённую (только для единичных термов) таблицу истинности уравнения полной единицы и выписать из неё все значения входных и выходных переменных в виде частных таблиц истинности для искомых функций. Для получения наглядого решения желательно построить диаграммы Лобанова по сокращённой таблице истинности.
5. Произвести минимизацию искомых функций.