Алгебра логики
<<  Условия выбора и простые логические выражения Условная функция и логические выражения  >>
Логические функции
Логические функции
Логические функции
Логические функции
Логическое следование (импликация)
Логическое следование (импликация)
Операция логического следования (импликация) обозначается значком « »
Операция логического следования (импликация) обозначается значком « »
A
A
Например
Например
Логическое равенство (эквивалентность)
Логическое равенство (эквивалентность)
Запись высказываний на языке алгебры логики
Запись высказываний на языке алгебры логики
A
A
Задания для самостоятельного выполнения
Задания для самостоятельного выполнения

Презентация: «Логические функции». Автор: Олег. Файл: «Логические функции.ppt». Размер zip-архива: 116 КБ.

Логические функции

содержание презентации «Логические функции.ppt»
СлайдТекст
1 Логические функции

Логические функции

Угринович Н. Информатика и информационные технологии 10-11. п. 3.4. Логические функции. – с.132.

2 Логические функции

Логические функции

Любое составное высказывание можно рассматривать как логическую функцию F(x1, x2, …, xn), аргументами которой являются логические переменные x1, x2, …, xn (простые высказывания)

3 Логическое следование (импликация)

Логическое следование (импликация)

Это соединение двух высказываний в одно с помощью оборота речи «если …, то …».

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

4 Операция логического следования (импликация) обозначается значком « »

Операция логического следования (импликация) обозначается значком « »

Составное высказывание записывается следующим образом: F = A B

Запись высказываний на языке алгебры логики

5 A

A

B

Таблица истинности функции логического следования

F = A B

0

0

1

0

1

1

1

0

0

1

1

1

6 Например

Например

«Если число делится на 10, то оно делится на 5» - истинно, т.к. истинны и первое высказывание (предпосылка) и второе высказывание (вывод). «Если число делится на 10, то оно делится на 3» - ложно, т.к. из истинной предпосылки делается ложный вывод.

7 Логическое равенство (эквивалентность)

Логическое равенство (эквивалентность)

Это соединение двух высказываний в одно с помощью оборота речи «…тогда и только тогда, когда …».

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

8 Запись высказываний на языке алгебры логики

Запись высказываний на языке алгебры логики

Логическая операция эквивалентности «А тогда и только тогда, когда В» обозначается А ~ В или А В Например, А= «Компьютер может производить вычисления» В= «Компьютер включен» «Компьютер может производить вычисления тогда и только тогда, когда компьютер включен». А ~ В

9 A

A

B

Таблица истинности логической функции эквивалентности

F = A B

0

0

1

0

1

0

1

0

0

1

1

1

10 Задания для самостоятельного выполнения

Задания для самостоятельного выполнения

Доказать, используя таблицы истинности, что операция импликации А В равносильна логическому выражению: ? v B. Доказать, используя таблицы истинности, что операция эквивалентности А ~ В равносильна логическому выражению: (A v B) ? (? v B).

«Логические функции»
http://900igr.net/prezentacija/algebra/logicheskie-funktsii-175445.html
cсылка на страницу

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

19 презентаций об алгебре логики
Урок

Алгебра

35 тем
Слайды