Нормальные формы записи.

Стандартизированные изображения называются в математике нормальными формами. Для определения целей необходимо логические функции приводить в нормальные формы.

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

Отдельные конъюнкции, связанные с суммами называются минтермами (m). Минтерм всегда содержит все входные переменные, поэтому его также называют полной конъюнкцией.

Таблица 4

DEC	А	В	А∙В				у

Таблица 5

Количество единичных состояний в выходном столбце таблицы истинности равно количеству полных конъюнкций. Если при у = 1 в строке переменная равна нулю, то в соответствующем минтерме она инвертируется.

2.

М₀ М₃

Такая форма записи функции называется каноничесикм произведением или совершенной, конъюнктивной, нормальной формой (СКНФ). Она состоит из полных дизъюнкций, которые содержат все переменные, поэтому их называют совершенной дизъюнкцией или макстермом (М).

Таблица 6

СКНФ работает с нулями, в отличие от СДНФ, которая работает с единицами.

Переменная в строке с у=0 инвертируется.

Пример.

СКНФ

Таблица 7

М₂ М₆

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

Не нашли, что искали? Воспользуйтесь поиском: