Решение:
В работе используются следующие соглашения:
Обозначения для логических операций:
- а) отрицание (инверсия, логическое НЕ) обозначается (например, ¬А)
- б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В)
- в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В)
Таблица истинности для выражения A ∨ ¬B:
| A | B | ¬B | A ∨ ¬B |
|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |