Основные понятия алгебры логики Лямин Андрей Владимирович. - презентация

1 Основные понятия алгебры логики Лямин Андрей Владимирович

2 Основные термины Алгебра логики Логическое высказывание Логические связки: –«НЕ»; –«И»; –«ИЛИ»; –«ЕСЛИ …, ТО …»; –«… ТОГДА И ТОЛЬКО ТОГДА …".

3 Логические операции Отрицание Конъюнкция Дизъюнкция Импликация Эквиваленция

4 Отрицание Логическая связка: «НЕ». Обозначение:

5 Конъюнкция Логическая связка: «И». Обозначение: ; ;

6 Дизъюнкция Логическая связка: «ИЛИ». Обозначение: ;

7 Импликация Логическая связки: «ЕСЛИ …, ТО», «ИЗ … СЛЕДУЕТ», «… ВЛЕЧЕТ …». Обозначение:

8 Эквиваленция Логическая связки: «тогда и только тогда», «необходимо и достаточно», « … равносильно …». Обозначение:

9 Логическая функция Функцией алгебры логики f (x 1, x 2,...,x n ) от n - переменных x 1, x 2,...,x n, принимающих значения 0 или 1, называется функция, принимающая значения 0 или 1.

10 Таблица истинности x1x1 x2x2 …xnxn f (x 1, x 2,...,x n ) 00…0f (0, 0,...,0) 00…1f (0, 0,...,1) …………… 11…0f (1, 1,...,0) 11…1f (1, 1,...,1)

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

12 Минимизация логических функций Применение законов алгебры логики Метод Куайна-Маккласки Метод карт Карно

13 Коммутативный закон

14 Ассоциативный закон

15 Дистрибутивный закон

16 Теорема де Моргана

17 Свойство идемпотенции

18 Свойство поглощения

19 Операция переменной с инверсией

20 Операции с константами

21 Пример 1:

22 Метод Куайна-Маккласки Метод минимизации логических функций Куайна- Маккласки основан на том факте, что вынос общего множителя за скобки в формуле эквивалентен объединению двух строк в одну в таблице истинности. В комбинируемых строках должны совпадать все значения переменных, кроме одной - сравниваемые строки отличаются на одну единицу. Значение "не совпавшей" переменной безразлично и может быть обозначено звездочкой "*"

23 Пример 2: x1x1 x2x2 x3x3 f x1x1 x2x2 x3x3 f 1*11

24 Пример 3: Номера строкx1x1 x2x2 x3x3 fКол-во единиц

25 Номера строкx1x1 x2x2 x3x3 fКол-во единиц Номера строкx1x1 x2x2 x3x3 fКол-во единиц 3, 401*11 3, 7*1011 4, 8*1112 7, 811*12

26 Номера строкx1x1 x2x2 x3x3 fКол-во единиц 3, 401*11 3, 7*1011 4, 8*1112 7, 811*12 Номера строкx1x1 x2x2 x3x3 fКол-во единиц 3, 4, 7, 8*1*11 3, 7, 4, 8*1*11 Номера строкx1x1 x2x2 x3x3 fКол-во единиц 3, 4, 7, 8*1*11

27 Метод карт Карно Карта Карно представляет прямоугольник разделенный на квадраты, каждому из которых соответствует определенная комбинация всех входных переменных. Внутри каждого квадрата записывается значение функции на данной комбинации входных переменных.

28 Примеры карт Карно

29 Пример 4: x1x1 x2x2 x3x3 f