Дискретная математика

Нормальные формы логических функций

• Часть 1
• | 2
• | 3
• | 4
• | 5
• | 6
• | 7
• | 8
• | 9
• | 10
• | 11

                Переход от СКНФ к СДНФ

Этот переход осуществляется аналогично по следующему правилу: 

 1) Образовать логическое произведение конъюктивных членов, не входящих в СКНФ функции.

 2) В полученном выражении нужно заменить символы    & на ,    на &, аргументы xi   на   ,    на   xi.

Пример. Для функции предыдущего примера составить СДНФ по найденной СКНФ.

Обозначим через Di полную дизъюнкцию для i-ой строки таблицы задания данной функции. 

 Например, для третьей строки таблицы значения переменных ( 0,1,0 ). Следовательно,       1 = 1,    2 = 0,    3 = 1.

 Тогда полная дизъюнкция для третьей строки будет такая:             

                   D3 =   =   x1  2  x3.

Учитывая сделанное обозначение, запишем найденную в предыдущем примере СКНФ в следующем виде:

предыдущаяследующая