strsft

fjft

 

Дизъюнктивная нормальная форма

Дизъюнктивная нормальная форма (DNF) - это один из способов представления логических выражений в виде комбинации простых логических операторов.

Если множество значений функции содержит больше 1 чем 0, то дизъюнктивная нормальная форма подходит больше для записи выражения функции по полному множеству её значений.

x y z F(x, y, z) F(x, y, z) = F1 + F2 + F3 F1 F2 F3  
        F = x * y * z + x * y * z + x * y * z        
0 0 0 1 1 = 1 + 0 + 0 1 0 0 F1 = x * y * z
0 0 1 0 0 = 0 + 0 + 0 0 0 0  
0 1 0 0 0 = 0 + 0 + 0 0 0 0  
0 1 1 1 1 = 0 + 1 + 0 0 1 0 F2 = x * y * z
1 0 0 0 0 = 0 + 0 + 0 0 0 0  
1 0 1 0 0 = 0 + 0 + 0 0 0 0  
1 1 0 1 1 = 0 + 0 + 1 0 0 1 F3 = x * y * z
1 1 1 0 0 = 0 + 0 + 0 0 0 0  

ыппр

Первоисточник: Тимофей Хирьянов, Алгоритмы на Python 3. Лекция №2, МФТИ.