Табличный способ приведения к СДНФ

Используя таблицу истинности, можно составить СДНФ для ПФ. Для этого надо выполнить следующую последовательность шагов.

1. Составить таблицу истинности данной ПФ.

2. Рассмотреть те строки, в которых формула принимает истинностное значение 1. Каждой такой строке поставить в соответствие элементарную конъюнкцию по правилу: переменная, принимающая значение 1, входит в нее без отрицания, а 0 – с отрицанием.

3. Образовать дизъюнкцию всех полученных элементарных конъюнкций, которая и составит СДНФ.

Пример.Привести ПФ к СДНФ. Построим таблицу истинности и на ее основе составим СДНФ.

X	Y	Z		Элементарные конъюнкции

СДНФ примет вид

.