Приоритет логических операций.
•
Инверсия
•
Действия
в скобках
•
Конъюнкция
( & )
•
Дизъюнкция
( V )
•
Импликация
( → )
•
Эквивалентность
( ↔ )
Законы
алгебры логики
- Законы рефлексивности
(идемпотентности)
a ∨ a = a
a ∧ a = a
- Законы коммутативности (переместительный)
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 ∧ b) = ¬ a ∨ ¬ b
¬ (a ∨ b) = ¬ a ∧ ¬ b
- Законы поглощения
a ∨ a ∧ b = a
a ∧ (a ∨ b) = a
- Операции с константами
a ∨ 0 = a a ∨ 1 = 1
a ∧ 1 = 1 a ∧ 0 = 0
- Закон исключающего третьего
a ∨ ¬ a = 1 a ∧ ¬ a = 0
Этот комментарий был удален автором.
ОтветитьУдалить