Представление логических функций

Наиболее наглядно, но и наиболее громоздко, логическая функция представляется таблицей соответствия, где каждому набору аргументов ставится в соответствие значение функции (см. табл.5.2). От таблицы соответствия легко перейти к алгебраической форме записи (логической формуле).

	Таблица 5.2
Таблица соответствия	Наборы	Наборы
a	b	с	d	Y	переменных СДНФ	переменных СКНФ

При получении логической формулы в виде суммы элементарных произведений (дизъюнктивная нормальная форма или сокращенно ДНФ) необходимо просуммировать произведения аргументов для всех наборов, при которых функция равна «1».

При получении логической формулы в виде произведения элементарных сумм (конъюнктивная нормальная форма или сокращенно КНФ) необходимо взять произведения сумм инвертированных значений аргументов для всех наборов, при которых функция равна «0».

Если произведения в ДНФ содержат все переменные, ДНФ называется совершенной (СДНФ). Если суммы КНФ содержат все переменные, КНФ называется совершенной (СКНФ).

Число строк в таблице соответствия равно числу комбинаций всех наборов входных переменных. Число комбинаций всех наборов входных переменных равно , где n – число входных переменных. При большом числе входных переменных таблица соответствия становиться слишком громоздкой.

Совершенные нормальные формы (СДНФ, СКНФ) являются единственными для данной функции, ДНФ и КНФ для данной функции может быть несколько. Стремятся получить минимальные ДНФ и КНФ, содержащие минимальное число букв.

Более компактным и удобным для минимизации является представление логической функции в виде карты Карно (диаграммы Вейча). Каждой клетке карты Карно ставится в соответствие определенный набор входных переменных (аргументов), а в саму клетку проставляется значение функции при этом наборе. Области единичных значений аргументов выделяются чертой или численным значением вне поля карты. Карту Карно формируют так, чтобы рядом лежащие клетки били «соседними», то есть отличались значение лишь одной переменной.

ПРИМЕР 1: Получение СДНФ и СКНФ по таблице соответствия

Логическая функция задана в виде таблицы соответствия (табл.5.2). Карта Карно, соответствующая табл.5.2 приведена на рис.5.1.

Наборам переменных СДНФ соответствуют произведения переменных, взятых без инверсии (при единичных значений этих переменных) или с инверсией (при нулевых значений) для всех единичных значений логической функции. Наборам переменных СКНФ соответствуют суммы инвертированных значений переменных, взятых для всех нулевых значений логической функции.

Рис.5.1. Пример заполнения Карты Карно (диаграммы Вейча)

Совершенная дизъюнктивная нормальная форма (СДНФ) записи логической функции является суммой всех наборов переменных ДНФ

(4.1)

Совершенная конъюнктивная нормальная форма (СКНФ) записи логической функции является произведением всех наборов переменных КНФ

(4.2)