Алгебра логики
<<  Логические основы публичного выступления Условия выбора и простые логические выражения  >>
Преобразование логических выражений
Преобразование логических выражений
Вспомним прошлый урок
Вспомним прошлый урок
Вспомним прошлый урок
Вспомним прошлый урок
Вспомним прошлый урок
Вспомним прошлый урок
Проверим домашнюю задачу
Проверим домашнюю задачу
Тавтология
Тавтология
Тавтология
Тавтология
Закон тождества
Закон тождества
Закон непротиворечия
Закон непротиворечия
Закон исключенного третьего
Закон исключенного третьего
Закон двойного отрицания
Закон двойного отрицания
Законы Моргана
Законы Моргана
Правило коммутативности
Правило коммутативности
Правило ассоциативности
Правило ассоциативности
Правило дистрибутивности
Правило дистрибутивности
Подумай
Подумай
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Решим задачи
Домашнее задание
Домашнее задание

Презентация на тему: «Преобразование логических выражений». Автор: Светик. Файл: «Преобразование логических выражений.ppt». Размер zip-архива: 184 КБ.

Преобразование логических выражений

содержание презентации «Преобразование логических выражений.ppt»
СлайдТекст
1 Преобразование логических выражений

Преобразование логических выражений

2 Вспомним прошлый урок

Вспомним прошлый урок

Как выглядит таблица истинности для операции ЭКВИВАЛЕНТНОСТИ? С помощью какой связки слов составляется высказывание – эквивалентность? Приведите пример истинного и ложного высказывания – эквивалентности.

3 Вспомним прошлый урок

Вспомним прошлый урок

Как выглядит таблица истинности для операции ИМПЛИКАЦИЯ? С помощью какой связки слов составляется высказывание – импликация? Приведите пример истинного и ложного высказывания – импликации.

4 Вспомним прошлый урок

Вспомним прошлый урок

1 => 0 0 => 0 1 => 1 0 <=> 1 0 <=> 0 (1 ^ 0) => 0

(1 ^ 1) =>1 (0 ^ 1) => (1 ^ 0) (0 ^ ¬1) <=> 0 (¬1 ? 0) => 1 (0 ? ¬0) <=> (1 ? ¬1) (1 ^ 1 ? 0) <=> 0

Определите истинность формул:

5 Проверим домашнюю задачу

Проверим домашнюю задачу

Что можно сказать об истинности формулы?

6 Тавтология

Тавтология

Например, докажем, что (X ^ Y) ? (X v Y) является тавтологией

Всегда истинное выражение

7 Тавтология

Тавтология

Всегда истинное выражение

Некоторые тавтологии являются логическими законами.

8 Закон тождества

Закон тождества

Всякое высказывание тождественно самому себе

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

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

Высказывание не может быть одновременно истинным и ложным. Если высказывание А — истинно, то его отрицание не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно

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

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

Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означает, что результат логического сложения высказывания и его отрицания всегда принимает значение истина

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

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

Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание

12 Законы Моргана

Законы Моргана

13 Правило коммутативности

Правило коммутативности

В алгебре: ab=ba a+b = b+a

14 Правило ассоциативности

Правило ассоциативности

В алгебре: (ab)c=a(bc) (a+b)+c =a+(b+c)

15 Правило дистрибутивности

Правило дистрибутивности

В алгебре: a(b+с)=ab+ac

16 Подумай

Подумай

17 Решим задачи

Решим задачи

= А

Упростить логическое выражение (А &. В) v (A & ¬В)

Попробуйте привлечь на помощь алгебру.

18 Решим задачи

Решим задачи

= 0

Упростить логическое выражение:

Попробуйте привлечь на помощь алгебру.

19 Решим задачи

Решим задачи

= 1

Упростить логическое выражение:

Попробуйте привлечь на помощь алгебру.

20 Решим задачи

Решим задачи

Упростить логическое выражение:

Попробуйте привлечь на помощь алгебру.

21 Решим задачи

Решим задачи

Упростить логическое выражение:

Попробуйте привлечь на помощь алгебру.

Подсказка: последнее слагаемое домножить на единицу, т.е. на (у+у)

22 Решим задачи

Решим задачи

Упростить логическое выражение:

Попробуйте привлечь на помощь алгебру.

23 Решим задачи

Решим задачи

Упростить логическое выражение:

Попробуйте привлечь на помощь алгебру.

24 Домашнее задание

Домашнее задание

1. Докажите справедливость законов Моргана, используя таблицы истинности. 2. Упростите логические выражения с учетом правильной последовательности выполнения логических операций: (A v ¬A) & B A & (A v B) & (C v ¬B) A & ¬B v B & C v ¬A & ¬B A v ¬A & B

«Преобразование логических выражений»
http://900igr.net/prezentacija/algebra/preobrazovanie-logicheskikh-vyrazhenij-215031.html
cсылка на страницу
Урок

Алгебра

35 тем
Слайды
900igr.net > Презентации по алгебре > Алгебра логики > Преобразование логических выражений