Алгебра логики, практические задания

• 1 слайд

  Алгебра логики
  Практические задания
  

• 2 слайд

  Определите логическое значение следующих высказываний:
  Санкт-Петербург расположен на Неве и 2+3=5
  
  7 – простое число и 9 - простое число
  
  Число 2 четное или это число простое
  
  Если белые медведи живут в Африке, то 2*2=4
  
  истина
  ложь
  истина
  истина
  

• 3 слайд

  Запишите символически следующее сложное высказывание:
  «Если посылка истинна и заключение ложно, то импликация ложна».
  
  «Если число делится на 2 и не делится на 3, то оно не делится на 6».
  
  
  
  Таблицы 
  

• 4 слайд

  Решение:
  Выделим простые высказывания и обозначим их буквами латинского алфавита. Пусть А – «Посылка истинна», B - «Заключение ложно», С – «Импликация ложь». Сложное высказывание тогда будет иметь вид: АʌВ→С.
  
  
  

• 5 слайд

  Решение:
  Выделим простые высказывания и обозначим их буквами латинского алфавита. Пусть А – «Число делится на 2», B - «Число делится на 3», С – «Число делится на 6». Сложное высказывание тогда будет иметь вид: (Аʌ¬В)→¬С.
  
  
  

• 6 слайд

  Построить таблицы истинности
  F = (A ᴠ B) & (¬ A ᴠ¬ B)
  
  F= X ᴠ Y ʌ ¬ Z
  
  F=X&Yᴠ¬(XᴠY)ᴠX
  
  F = А &(В → С)
  
  F=(В&¬В)↔(AᴠD)
  
  
  
  
  
  
  

• 7 слайд

  F = (A ᴠ B) & (¬ A ᴠ¬ B)
  
  

• 8 слайд

  F= X ᴠ Y ʌ ¬ Z
  
  

• 9 слайд

  F=X&Yᴠ¬(XᴠY)ᴠX
  
  

• 10 слайд

  F = А &(В → С)
  
  

• 11 слайд

  F=(В&¬В)↔(AᴠD)
  