Алгебра логики. Алгебра, образованная множеством B = {0,1} вместе со всеми операциями на нем называется алгеброй логики. Функцией алгебры логики от n. - презентация

1 Алгебра логики

2 Алгебра, образованная множеством B = {0,1} вместе со всеми операциями на нем называется алгеброй логики. Функцией алгебры логики от n переменных называется n-местная операция, задающая отображение B n на B.

3 Функции алгебры логики А 01 10

4 AB

5 AB

6 AB

7 Пропозициональные формулы

8 Соглашение о порядке операций. Операции выполняются в следующем порядке 1.Скобки 2.Отрицания 3.Конъюнкция 4.Дизъюнкция 5.Импликация 6.Эквиваленция Внутри группы операции выполняются слева направо

9 Соглашение о порядке операций

10 Польская нотация

11 Вычисление формул

12 Таблицы истинности xyp

13 Равносильность

14 Свойства отношения равносильности Рефлексивность: А = А Симметричность: Если А = B, то B = A Транзитивность: А = B и B = C, то A = C

15 Теорема об эквивалентной замене

16 Основные тождества алгебры логики.

17

18

19

20

21 Двойственные функции

22 Свойства двойственных функций