Метод Квайна.

 

Этот метод используется для получения сокращенной ДНФ функции из СДНФ ее с помощью операций неполного склеивания:

и поглощения A+AB=A.

 

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

Доказательство теоремы проверять не будем.

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