Презентация по информатике "Построение таблиц истинности сложных высказываний"

• 1 слайд

  Построение таблиц истинности
  для сложных выражений
  

• 2 слайд

  
  
  
  Цели:
  создание условий для формирования знаний по построению таблиц истинности для сложных выражений;
  
  Задачи:
  изучить принципы построения таблиц истинности для сложных выражений;
  способствовать развитию логического мышления.
  

• 3 слайд

  Инверсия (НЕ, отрицание)
  Конъюнкция (И, логическое умножение)
  Дизъюнкция (ИЛИ, логическое сложение)
  Импликация (следование)
  Эквивалентность (равенство)
  Базовые логические операции
  

• 4 слайд

  Дизъюнкция
  Операция ИЛИ
  

• 5 слайд

  Инверсия
  Операция НЕ
  

• 6 слайд

  Конъюнкция
  Операция И
  

• 7 слайд

  Когда инверсия истинна и когда инверсия ложна?
  
  В каком случае дизъюнкция ложна?
  
  В каком случае конъюнкция истинна?
  
  В каком случае импликация ложна?
  
  В каком случае эквивалентность истинна и в каком ложна?
  Если высказывание истинно, то инверсия ложна и, наоборот,
  Если высказывание ложно, то инверсия истинна.
  Если оба высказывания ложны, то дизъюнкция ложна, в остальных случаях дизъюнкция будет истинна.
  Если оба высказывания истинны, то конъюнкция тоже истинна. В остальных случаях конъюнкция будет ложна.
  Импликация ложна только в одном случае: если первое высказывание истинно, а второе ложно. В остальных случаях будет истинна.
  Эквивалентность истинна, если оба высказывания либо истинны, либо ложны. В остальных случаях ложна.
  

• 8 слайд

  Понятие таблицы истинности
  Таблица истинности – это таблица, в которой перечислены все возможные значения входящих логических переменных и соответствующие им значения функции.
  Например,
  

• 9 слайд

  Алгоритм построения таблиц
  Определить количество переменных (простых выражений);
  Определить количество логических операций и последовательность их выполнения.
  Определить количество строк:
  количество строк = 2n + 2 строки для заголовка, где n – количество логических переменных.
  Определить количество столбцов:
  количество столбцов = количество переменных + количество логических операций;
  Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.
  

• 10 слайд

  Определение количества строк в таблице.
  Где N – количество строк в таблице
  n – количество логических переменных, участвующих в данном высказывании.
  N=2n +2
  

• 11 слайд

  Порядок выполнения действий
  Инверсия (отрицание)
  Операции в скобках
  Конъюнкция (логическое умножение)
  Дизъюнкция (логическое сложение)
  Импликация (следование)
  Эквиваленция(равенство)
  

• 12 слайд

   
  Решение:
  1. Простые выражения (логические переменные):
  2. Количество логических операций:
  
  
  
  
  
  3. Количество строк:
  
  4. Количество столбцов:
  
  Заполняем столбцы с учетом таблиц истинности логических операций.
  А, В, С; (3)
   
  на входе три простых высказывания: А, В, С, поэтому n=3 и количество строк = 2³ +2 = 10
  
  3+4=7
  

• 13 слайд

   
  1
  1
  0
  0
  1
  1
  0
  0
  1
  0
  1
  0
  1
  0
  1
  0
  0
  0
  0
  0
  1
  1
  0
  0
  1
  1
  1
  1
  1
  0
  1
  1
  

• 14 слайд