Урок по информатике на тему "Законы логики"

• 1 слайд

  Логические законы
  

• 2 слайд

  Формула имеет нормальную форму, если в ней отсутствуют знаки эквивалентности, импликации, двойного отрицания, при этом знаки отрицания находятся только при логических переменных
  

• 3 слайд

  Переместительный закон:
  Сочетательный закон:
  

• 4 слайд

  Распределительный закон
  Закон двойного отрицания:
  

• 5 слайд

  Закон исключающего третьего
  

• 6 слайд

  Законы повторения
  

• 7 слайд

  Законы операций с 0 и 1
  

• 8 слайд

  Законы общей инверсии
  (законы де Моргана)
  

• 9 слайд

  Распределительный закон для логического сложения:
  A v (B & C) = (A v B) & (A v C).
  Доказательство закона
  Умножаем В на С и выводим результат.
  0
  0
  0
  0
  0
  0
  1
  1
  Складываем А и В и выводим результат.
  0
  0
  0
  1
  1
  1
  1
  1
  Складываем А и (В&С) и выводим результат.
  0
  0
  1
  1
  1
  1
  1
  1
  Складываем А и C и выводим результат.
  0
  0
  1
  1
  1
  1
  1
  1
  Умножаем (АvB) на (AvC )и выводим результат.
  0
  0
  0
  1
  1
  1
  1
  1
  Равенство выделенных столбцов доказывает распределительный закон.
  

• 10 слайд

  №1 Проведите доказательство логических законов общей инверсии с помощью таблиц истинности:
  а) для логического умножения:
  
   (A&B) =  Av B
  б) для логического сложения:
  
   (AvB) =  A& B
  
  

• 11 слайд

  2 Найдите значение логического выражения для указанных значений Х:
   (Х>2)&(X>5)
  

• 12 слайд

  №4 Заполните таблицу логическими значениями
  

• 13 слайд

  Домашнее задание
  § 1.3.4, с.43 №14, 15