Упростить логические выражения
Тема: «Алгебра логики»
В некоторых заданиях ЕГЭ по информатике под № 2, 18, 23 часто требуется упростить логические выражения. Для упрощения выражений требуется знать логические законы.
- Закон двойного отрицания: ¬¬A = A
- Законы де Моргана: ¬(A∧B) = ¬A ∨ ¬B ; ¬(A∨B) = ¬A ∧ ¬B
- Законы коммутативности: a ∨ b = b ∨ a ; a ∧ b = b ∧ a
- Законы ассоциативности: (a ∧ b) ∧ c = a ∧ (b ∧ c) ; (a ∨ b) ∨ c = a ∨ (b ∨ c)
- Законы дистрибутивности (распределительные): A∨(B∧C) = (A∨B)∧(A∨C) ; A∧(B∨C) = (A∧B)∨(A∧C)
- Законы рефлексивности: a ∨ a = a ; a ∧ a = a
- Определение операции импликации: A -> B = ¬A ∨ B
- Законы поглощения: a ∨ (a ∧ b) = a ; a ∧ (a ∨ b) = a