Презентация "Таблицы истинности" 9 класс


Подписи к слайдам:
Основы логики

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

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

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

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

1) подсчитать количество переменных n в логическом выражении;

2) определить число строк (m) в таблице, которое равно m = 2n + 1 (строка для заголовка);

3) подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество операций;

4) ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов.

АЛГОРИТМ ПОСТРОЕНИЯ таблиц истинности

Логические операции имеют следующий приоритет: 1.    Действия в скобках 2.    Инверсия 3.    Конъюнкция 4.    Дизъюнкция 5.    Импликация 6.    Эквиваленция

5) заполнить столбцы входных переменных наборами значений;

6) провести заполнение таблицы истинности по столбцам, выполняя логические операции.

АЛГОРИТМ ПОСТРОЕНИЯ таблиц истинности

Наборы входных переменных, во избежание ошибок, рекомендуют перечислять следующим образом:

а) определить количество наборов входных переменных;

б) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки 0, а нижнюю —1;

в) разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами 0 или 1, начиная с группы 0;

г) продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами 0 или 1 до тех пор, пока группы 0 и 1 не будут состоять из одного символа.

П р и м е р

Анисимова Ирина Владимировна

МБОУ СОШ № 4 г.Сатка Челябинская область

Построить таблицы истинности

для логических выражений:

Закрепление изученного

Угринович Н. Д. «Информатика и информационные технологии. Учебник для 10 – 11классов». - М.: БИНОМ. Лаборатория знаний, 2011.

  • Угринович Н. Д. «Информатика и информационные технологии. Учебник для 10 – 11классов». - М.: БИНОМ. Лаборатория знаний, 2011.
  • Макарова Н. В. «Информатика. 7-9 класс. Базовый курс».-СПб.: Питер, 2010.
  • О. А. Соколова «Разработки» М.: ВАКО, 2006.

Список литературы: