Упростить логические выражения

Упростить логические выражения

Упростить логические выражения

Тема: «Алгебра логики»

В некоторых заданиях ЕГЭ по информатике под № 2, 18, 23 часто требуется упростить логические выражения. Для упрощения выражений требуется знать логические законы.

  1. Закон двойного отрицания: ¬¬A = A
  2. Законы де Моргана: ¬(A∧B) = ¬A ∨ ¬B  ;  ¬(A∨B) = ¬A ∧ ¬B
  3. Законы коммутативности: a ∨ b = b ∨ a ; a ∧ b = b ∧ a
  4. Законы ассоциативности: (a ∧ b) ∧ c = a ∧ (b ∧ c) ; (a ∨ b) ∨ c = a ∨ (b ∨ c)
  5. Законы дистрибутивности (распределительные): A∨(B∧C) = (A∨B)∧(A∨C) ; A∧(B∨C) = (A∧B)∨(A∧C)
  6. Законы рефлексивности: a ∨ a = a ; a ∧ a = a
  7. Определение операции импликации: A -> B = ¬A ∨ B
  8. Законы поглощения: a ∨ (a ∧ b) = a ; a ∧ (a ∨ b) = a

Упростить логические выражения

 

Foxford
Информатика в школе