4.7. Табличный способ приведения к сднф

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

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

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

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

4.8. Табличный способ приведения к скнф

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

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

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

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

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

Таблица 13

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

Продолжение табл.13

1	1	0	0
1	1	1	1

СДН

СКНФ :

( ) ( ) ( ) ( )

4.9. Логическое следствие

Формула X алгебры высказываний называется логическим следствием формул X₁, X₂, ..., X_n, если импликация X₁X₂ ... X_n  X является тавтологией. В этом случае говорят, что из X₁, X₂, ..., X_n следует X и этот факт записывают в виде

.

Рассуждения называются правильными, если из конъюнкции посылок следует заключение. Для определения правильности рассуждений по схеме требуется установить тождественную истинность формулы X₁, X₂, ..., X_n  X.

Распространенными схемами правильных рассуждений являются следующие:

– условно-категорический силлогизм;

– условно-категорический силлогизм;

– гипотетический силлогизм.