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

Приведение логической формулы к днф

• Часть 1
• | 2
• | 3

 

Приведение логической формулы к ДНФ можно произвести по следующему правилу:   

1). С помощью равенства = x и законов де Моргана все отрицания “спускаются” до переменных;

         2). Раскрываются скобки в полученном выражении;

3). С помощью выражений:     x ·x  =  x ,   x  x  =  x,    x·  = 0,    x    = 1   

удаляются лишние конъюнкции и повторения переменных в конъюнкциях, а с помощью свойств констант удаляются и константы.

Пример. Привести к ДНФ следующую формулу:     xy(y  x z ).

Преобразуем по закону де Моргана выражение во вторых скобках: 

                            =  &  =     &. 

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