Презентация на тему "Логические функции"

Содержание

• 
  Слайд 1

  Логические функции

• 
  Слайд 2

  Поставить в соответствие

• 
  Слайд 3
  
• 
  Слайд 4
  
• 
  Слайд 5
  
• 
  Слайд 6
  
• 
  Слайд 7

  Логическое следование (импликация)

  Объединение двух высказываний в одно с помощью оборота речи «если …, то …». Обозначение: А → В. Таблица истинности

• 
  Слайд 8
  

  Операция А → В равносильна логическому выражению Ā&B

• 
  Слайд 9
  

  Операция А → В равносильна логическому выражению Ā&B

• 
  Слайд 10
  

  Операция А → В равносильна логическому выражению Ā&B А → В = Ā&B

• 
  Слайд 11

  Логическое равенство (эквивалентность)

  Объединение двух высказываний в одно с помощью оборота речи «… тогда и только тогда, когда …». Обозначение: А ~ В. Таблица истинности

• 
  Слайд 12

  Используя таблицы истинности, доказать:

  1.А ~ В = (А v ¬В) & (¬А v В) 2.Определить истинность формулы: ((А v ¬В) → В) & (¬А v В) 3. ¬(A & B) = (¬А v В)