Алгебра логики
<<  Высказывания Логические выражения и таблицы истинности  >>
Логические выражения и таблицы истинности
Логические выражения и таблицы истинности
Логические выражения
Логические выражения
Логические выражения
Логические выражения
Логические выражения
Логические выражения
Логические выражения
Логические выражения
Таблицы истинности
Таблицы истинности
Таблицы истинности
Таблицы истинности
Таблицы истинности
Таблицы истинности
Равносильные выражения
Равносильные выражения
Равносильные выражения
Равносильные выражения
Вопросы:
Вопросы:
Домашнее задание
Домашнее задание

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

Логические выражения и таблицы истинности

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

Логические выражения и таблицы истинности

Подготовила: Руденко Наталия Анатольевна НОУ СОШ «Царицынская № 1»

2 Логические выражения

Логические выражения

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

3 Логические выражения

Логические выражения

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

4 Логические выражения

Логические выражения

Задание. Записать в форме логического выражения составное высказывание «(2*2=5 или 2*2=4) и (2*2?5 или 2*2 ?4)» Найдем простые выражения А= 2*2=5 – ложно (0); В= 2*2=4 – истинно (1) Тогда составное высказывание можно записать так: F= (А VВ) & (А V В); Приоритет выполнения операций: ?, &, V Подставим в логическое выражение значения логических переменных, и используя таблицы истинности базовых логических операций, получим значение логической функции F= (А V В) & (А V В)=(0 V 1) &(1 V 0)=1&1=1

5 Логические выражения

Логические выражения

Задание. Определите истинность составного высказывания: (А & В) & (С V D), состоящего из простых высказываний А=«Принтер – устройство вывода информации» B=«Процессор – устройство хранения информации» С=«Монитор – устройство вывода информации» D=«Клавиатура – устройство обработки информации»

6 Таблицы истинности

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

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

7 Таблицы истинности

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

При построении таблиц истинности целесообразно пользоваться следующей последовательностью действий. Определить количество строк. Если количество логических переменных равно n, то количество строк =2n. Определить количество столбцов, которое равно количеству логических переменных +количество логических операций. Построить таблицу и внести возможные наборы значений исходных переменных. Заполнить таблицу по столбцам, выполняя базовые логические операции.

8 Таблицы истинности

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

Задание. Построить таблицу истинности логического выражения (А VВ) & (А V В).

A

B

А v в

A

B

А v в

(А vв) & (а v в).

0

0

0

1

1

0

1

1

9 Равносильные выражения

Равносильные выражения

Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак «=».

10 Равносильные выражения

Равносильные выражения

Задание. Доказать, что логические выражения А & В и А V В и равносильны Построим таблицы истинности

11 Вопросы:

Вопросы:

Из чего состоит логическое выражение? Приоритет операций Что содержит таблица истинности? Зачем нужно строить таблицу истинности Какие логические выражения называются равносильными?

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

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

§ 3.3. Ответить на вопросы в конце параграфа. Задания 3.2., 3.3. (письменно)

«Логические выражения и таблицы истинности»
http://900igr.net/prezentacija/algebra/logicheskie-vyrazhenija-i-tablitsy-istinnosti-186660.html
cсылка на страницу
Урок

Алгебра

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