Формулы алгебры высказываний

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

Формулой алгебры высказываний (формулой) называется

1) любое высказывание (высказывательное переменное);

2) если Формулы алгебры высказываний - student2.ru и Формулы алгебры высказываний - student2.ru – формулы, то Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru – тоже формулы;

3) кроме формул приведенных в п.п 1) и 2) других формул в алгебре высказываний нет.

Если формула Формулы алгебры высказываний - student2.ru образована, например, из формул (переменных) Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru и Формулы алгебры высказываний - student2.ru , то используем следующую запись: Формулы алгебры высказываний - student2.ru .

Две формулы Формулы алгебры высказываний - student2.ru и Формулы алгебры высказываний - student2.ru , образованные из одних и тех же переменных, называются равносильными, если на одинаковых наборах значений входящих в них переменных они принимают одинаковые логические значения и обозначается Формулы алгебры высказываний - student2.ru .

Формула называется тавтологией (тождественно истинной), если она принимает только истинное значение на всех наборах значений входящих в неё переменных.

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

Формула называется выполнимой, если она не является ни тавтологией и ни противоречием.

Для того, чтобы формулы Формулы алгебры высказываний - student2.ru и Формулы алгебры высказываний - student2.ru , образованные из одних и тех же переменных являлись равносильными, необходимо и достаточно, чтобы формула Формулы алгебры высказываний - student2.ru являлась тавтологией.

Основные тавтологии

Приведем перечень равносильных формул и названий некоторых из них:

1. Формулы алгебры высказываний - student2.ru – коммутативность дизъюнкции;

2. Формулы алгебры высказываний - student2.ru – коммутативность конъюнкции;

3. Формулы алгебры высказываний - student2.ru – ассоциативность дизъюнкции;

4. Формулы алгебры высказываний - student2.ru – ассоциативность конъюнкции;

5. Формулы алгебры высказываний - student2.ru – дистрибутивность дизъюнкции относительно конъюнкции;

6. Формулы алгебры высказываний - student2.ru – дистрибутивность конъюнкции относительно дизъюнкции;

7. Формулы алгебры высказываний - student2.ru – идемпотентность дизъюнкции;

8. Формулы алгебры высказываний - student2.ru – идемпотентность конъюнкции;

9. Формулы алгебры высказываний - student2.ru – первый закон поглощения;

10. Формулы алгебры высказываний - student2.ru – второй закон поглощения;

11. Формулы алгебры высказываний - student2.ru ;

12. Формулы алгебры высказываний - student2.ru ;

13. Формулы алгебры высказываний - student2.ru ;

14. Формулы алгебры высказываний - student2.ru ;

15. Формулы алгебры высказываний - student2.ru – первый закон де Моргана;

16. Формулы алгебры высказываний - student2.ru – второй закон де Моргана;

17. Формулы алгебры высказываний - student2.ru – закон исключённого третьего;

18. Формулы алгебры высказываний - student2.ru – закон противоречия;

19. Формулы алгебры высказываний - student2.ru – первая формула расщепления;

20. Формулы алгебры высказываний - student2.ru – вторая формула расщепления;

21. Формулы алгебры высказываний - student2.ru – закон снятия дойного отрицания;

22. Формулы алгебры высказываний - student2.ru – формула, представляющая импликацию через отрицание и дизъюнкцию;

23. Формулы алгебры высказываний - student2.ru – формула, представляющая импликацию через отрицание и конъюнкцию;

24. Формулы алгебры высказываний - student2.ru – формула, представляющая эквиваленцию через импликацию и конъюнкцию;

25. Формулы алгебры высказываний - student2.ru – первая формула, представляющая эквиваленцию через отрицание, дизъюнкцию и конъюнкцию;

25. Формулы алгебры высказываний - student2.ru – вторая формула, представляющая эквиваленцию через отрицание, дизъюнкцию и конъюнкцию.

Приведем две равносильные формулы, используемые в разделе ДНФ и КНФ:

26. Формулы алгебры высказываний - student2.ru – первое правило Блейка;

27. Формулы алгебры высказываний - student2.ru – второе правило Блейка.

Справедливость этих равносильных формул можно проверить построив их таблиц истинности.

Если в этих равносильных формулах символ Формулы алгебры высказываний - student2.ru заменить символом Формулы алгебры высказываний - student2.ru , то получаются тавтологии, называемые основными.

Нормальные формы

Пусть

Формулы алгебры высказываний - student2.ru (*)

– высказывательные переменные.

Элементарной дизъюнкцией (ЭД)называется дизъюнкции любых переменных Формулы алгебры высказываний - student2.ru из (*) или их отрицания Формулы алгебры высказываний - student2.ru . Например, если Формулы алгебры высказываний - student2.ru и набор (*) имеет вид Формулы алгебры высказываний - student2.ru , то Формулы алгебры высказываний - student2.ru – элементарные дизъюнкции. Если в элементарной дизъюнкции участвует все переменные из (*) (либо сама, либо её отрицание), то она называется полной элементарной дизъюнкцией (ПЭД). Например, в случае Формулы алгебры высказываний - student2.ru , перечислим всех полных элементарных дизъюнкций: Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru .

Элементарной конъюнкцией (ЭК)называется конъюнкции любых переменных Формулы алгебры высказываний - student2.ru из (*) или их отрицания Формулы алгебры высказываний - student2.ru . Например, если Формулы алгебры высказываний - student2.ru и набор (*) имеет вид Формулы алгебры высказываний - student2.ru , то Формулы алгебры высказываний - student2.ru – элементарные конъюнкции. Если в элементарной конъюнкции участвует все переменные из (*) (либо сама, либо её отрицание), то она называется полной элементарной конъюнкцией (ПЭК). Например, в случае Формулы алгебры высказываний - student2.ru , перечислим всех полных элементарных конъюнкций: Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru .

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

(ЭК)Ú (ЭК)Ú (ЭК)Ú … .

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

(ПЭК)Ú (ПЭК)Ú (ПЭК)Ú … .

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

(ЭД)Ú (ЭД)Ú (ЭД)Ú … .

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

(ПЭД)Ú (ПЭД)Ú (ПЭД)Ú … .

Для каждой формулы, не являющейся тождественно истинной и тождественно ложной, существуют равносильные СДНФ и СКНФ.

Функции алгебры логики

Функцией алгебры логики Формулы алгебры высказываний - student2.ru переменных (функцией Буляили булевой функцией) называется функция Формулы алгебры высказываний - student2.ru переменных

Формулы алгебры высказываний - student2.ru ,

где каждая переменная Формулы алгебры высказываний - student2.ru принимает два значения 0 и 1: Формулы алгебры высказываний - student2.ru , и при этом сама функция Формулы алгебры высказываний - student2.ru может принимать только одно из двух значений 0 и 1: Формулы алгебры высказываний - student2.ru .

Число различных булевых функций Формулы алгебры высказываний - student2.ru переменных равно Формулы алгебры высказываний - student2.ru . В частности, различных булевых функций одной переменной четыре, а различных булевых функций двух переменных шестнадцать. Перечислим эти функции.

Рассмотрим таблицу истинности всех различных булевых функций одной переменной:

            Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru              
                         
                         

Из таблицы следует, что эти функции можно представить как формулы исчисления высказываний:

Формулы алгебры высказываний - student2.ru .

Таблица истинности всех различных булевых функций двух переменных имеет вид:

Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru
Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru

Этим функциям соответствуют следующие формулы исчисления высказываний:

Формулы алгебры высказываний - student2.ru

Формулы алгебры высказываний - student2.ru

Формулы алгебры высказываний - student2.ru ,

Формулы алгебры высказываний - student2.ru

Каждой булевой функции можно сопоставить формулу алгебры высказываний. С этой целью введем обозначение

Формулы алгебры высказываний - student2.ru

Следующий факт для булевой функции с любым количеством переменных. Приведем его для функции двух переменных.

Произвольная булева функция двух переменных Формулы алгебры высказываний - student2.ru представима в виде:

Формулы алгебры высказываний - student2.ru

Формулы алгебры высказываний - student2.ru .

Для краткости записи опустим символ конъюнкции: вместо Формулы алгебры высказываний - student2.ru будем писать Формулы алгебры высказываний - student2.ru :

Формулы алгебры высказываний - student2.ru .

Это обозначение совпадает и с содержанием этих операций: значение конъюнкции Формулы алгебры высказываний - student2.ru , на самом деле, совпадает со значением арифметической операции умножения Формулы алгебры высказываний - student2.ru .

Полагая Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru , Формулы алгебры высказываний - student2.ru функцию Формулы алгебры высказываний - student2.ru можно представить следующим образом:

Формулы алгебры высказываний - student2.ru .

Полученное представление справедливо для всех булевых функций с любым количеством переменных.

Многочлен Жегалкина

Операция арифметического умножения нами введена. Введем новую логическую операцию, называемую сложением по модулю 2. Сложение по модулю 2 обозначается Формулы алгебры высказываний - student2.ru . Она определяется как отрицание эквиваленции переменных Формулы алгебры высказываний - student2.ru и Формулы алгебры высказываний - student2.ru :

Формулы алгебры высказываний - student2.ru .

Таблица значений сложения по модулю 2 имеет вид

      Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru Формулы алгебры высказываний - student2.ru      
           
           
           
           

Отметим некоторые свойства сложения по модулю 2:

1) Формулы алгебры высказываний - student2.ru ;

2) Формулы алгебры высказываний - student2.ru ;

3) Формулы алгебры высказываний - student2.ru ;

4) Формулы алгебры высказываний - student2.ru ;

5) Формулы алгебры высказываний - student2.ru ;

6) Формулы алгебры высказываний - student2.ru .

Многочленом Жегалкина от Формулы алгебры высказываний - student2.ru переменных Формулы алгебры высказываний - student2.ru называется функция, являющейся суммой произведений всевозможных одночленов, в которых все переменные входят не выше, чем в первой степени:

Формулы алгебры высказываний - student2.ru .

Примеры.

Формулы алгебры высказываний - student2.ru – многочлен Жегалкина первой степени;

Формулы алгебры высказываний - student2.ru – многочлен Жегалкина второй степени;

Формулы алгебры высказываний - student2.ru

Формулы алгебры высказываний - student2.ru – многочлен Жегалкина второй степени.

При построении многочлена Жегалкина полезно использовать следующие преобразования:

Формулы алгебры высказываний - student2.ru

Формулы алгебры высказываний - student2.ru .

Содержание

Правила выполнения и оформления контрольных работ………….
Задания для контрольных работ……………………………………..
  Задание № 1………………………………………………...
  Задание № 2………………………………………………...
  Задание № 3………………………………………………...
  Задание № 4………………………………………………...
  Задание № 5………………………………………………...
  Задание № 6………………………………………………...
  Задание № 7………………………………………………...
  Задание № 8………………………………………………...
Образцы решения и оформления заданий…………………………..
  Задание № 1………………………………………………...
  Задание № 2………………………………………………...
  Задание № 3………………………………………………...
  Задание № 4………………………………………………...
  Задание № 5………………………………………………...
  Задание № 6………………………………………………...
  Задание № 7………………………………………………...
  Задание № 8………………………………………………...
Краткий теоретический материал……….…………………………..
  1. Основные понятия теории множеств…………………..
  2. Операции над множествами……………………………
  3. Бинарное отношение……………………………………
  4. Действия над высказываниями…………………………
  5. Формулы алгебры высказываний………………………
  6. Основные тавтологии…………………………………...
  7. Нормальные формы……………………………………..
  8. Функции алгебры высказываний……………………….
  9. Многочлен Жегалкина…………………………………..

Формулы алгебры высказываний - student2.ru

 
  Формулы алгебры высказываний - student2.ru

           
    Формулы алгебры высказываний - student2.ru
 
  Формулы алгебры высказываний - student2.ru
    Формулы алгебры высказываний - student2.ru

Наши рекомендации