Логические выражения и таблицы истинности
презентация к уроку по информатике и икт (9, 10 класс) на тему

Слайд 1

Логические выражения и таблицы истинности Автор: Шуплецова Я.А., учитель информатики и ИКТ МКОУ СОШ с.Заево

Слайд 2

Логические выражения Составное высказывание (F) Логические переменные (А, В, А, В) Логические операции ( ˆˇ & - )

Слайд 3

Логические выражения «(2*2 = 5 или 2*2 = 4)» и «(2*2=5 или 2*2 = 4)» А = «2*2 = 5» - ложно (0) В = «2*2 = 4» - истинно (1) «(А или В) и (А или В)»

Слайд 4

Логические выражения F = (А ˇ В) & (А ˇ В) F = (А ˇ В) & (А ˇ В) = (0 ˇ 1) & (1 ˇ 0) = 1 &1 = 1

Слайд 5

Таблица истинности логической функции F = (А ˇ В) & (А ˇ В) А В А ˇ В А В А ˇ В (А ˇ В) & (А ˇ В) 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0

Слайд 6

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

Слайд 7

Равносильные логические выражения Таблица истинности логического выражения А & В А В А В А & В 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0

Слайд 8

Равносильные логические выражения Таблица истинности логического выражения А ˇ В А В А ˇ В А ˇ В 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 А & В = А ˇ В

Слайд 9

Домашнее задание Задание №1 Записать составное высказывание «(2*2=4 и 3*3 = 9) или (2*2 = 4 и 3*3 = 9)» в форме логического выражения. Построить таблицу истинности. Задание №2 Доказать, используя таблицы истинности, что логические выражения А ˇ В и А & В равносильны.