3. Основные законы логики.

1. Свойства констант

2. Закон противоречия

Закон исключения третьего

3. Закон двойного отрицания

4.

5. Коммутативный закон дизъюнкции и конъюнкции

6. Ассоциативные законы

7. Дистрибутивные законы

8. Закон де Моргана

4. Логические функции. Совокупность {0, 1, *, +, -} называют алгеброй логики.

Логической функцией от n – переменных (функцией алгебры логики или булевой функцией) называется n- арная функция, заданная на множестве {0, 1}., где - высказывательные переменные, , . Все логические функции образуют класс , где - целое, положительное число.Логическая функция может быть задана таблицей, в левой части которой указаны всевозможные двоичные наборы значений её переменных, в правой части соответствующие значения функций.

0	0	0	0
0	0	1	1
0	1	0	1
0	1	1	1
1	0	0	0
1	0	1	0
1	1	0	0
1	1	1	1

Наборы значений переменных, на которых функция принимает значение 1, называются единичными наборами, а их совокупность единичным множеством данной функции. Наборы значений переменных, на которых функция принимает значение 0, называются нулевыми наборами, а их совокупность нулевым множеством. Теорема. Существует 2в степени 2ⁿбулевых функций от n переменных. (|P₂(n)|=2 в степени 2ⁿ

5. Нормальные формы. Совершенные нормальные формы.

Пусть - система высказывательных переменных.

Дизъюнктивная нормальная форма называется совершенной (СДНФ), если она представляет дизъюнкцию полных различных элементарных конъюнкций.

Пример 3. - СДНФ.

- не является СДНФ.

Элементарной дизъюнкцией (конъюнкцией) называется дизъюнкция (конъюнкция) некоторых переменных этой системы или их отрицания.

Дизъюнктивной нормальной формой (ДНФ)называется формула, являющаяся дизъюнкцией некоторого числа элементарных конъюнкций.

Теорема. ДНФ является тождественно ложной тогда и только тогда, когда каждая её составляющая элементарной конъюнкции содержит некоторую высказывательную переменную и её .Элементарная конъюнкция (дизъюнкция) называется полной, если она содержит все переменные данной системы и при том только по одному разу.

Алгоритм построения СДНФ.1) Приводим формулу к ДНФ.2) Избавляемся от повторяемости переменных3) Избавляемся от повторяющихся элементарных конъюнкций.4)Дополняем элементарные конъюнкции недостающими высказывательными переменными.

- СДНФ.Теорема. Теорема. Для любой не тождественно ложной (истинной) формулы существует эквивалентная ей СДНФ (СКНФ).

Док-во явл-ся конструктивным.

Пусть - данная логическая формула.

1. Приведем данную формулу к ДНФ (КНФ). Предположим, что построенная ДНФ (КНФ) совершенной не явл-ся, т.е. содержит элементарные конъюнкции (дизъюнкции), которые полными не явл-ся, или есть повторяющиеся э.к. (э.д.)

2. Рассмотрим каждую из э.к. (э.д.), которые полными не явл-ся.

- в э.к. (э.д.) присутствует конъюнкция (дизъюнкция) двух одинаковых высказывательных переменных. В этом случае для упрощения применяем один из законов:

; ; (; ; )

Выполнив одно из этих преобразований, мы избавимся от повторяющихся переменных. В случае пробразования () вся э.к. (э.д.) будет равна 0 (1), поэтому эту э.к. (э.д.) можно исключить из рассматрения.

- в э.к. (э.д.) () отсутствуют некоторые высказывательные переменные

- недостающие переменные.

Для получения полной э.к. (э.д.) к конъюнкции (дизъюнкции ) добавим конструкцию

После этого применяя дистрибутивный закон, раскрываем все скобки. При этом получим дизъюнкцию э.к. (конъюнкцию э.д.) . Причем все полученные э.к. (э.д.) будут полными и различными. Т.о.получим дизъюнкцию полных конъюнкций (конъюнкцию полных дизъюнкций).

1. Если в полученной дизъюнкции (конъюнкции) имеются повторяющиеся полные конъюнкции (дизъюнкции), то применяем закон

.

После этого получаем СДНФ (СКНФ).