Для заполнения таблицы истинности для выражения ¬A ∨ B, где A и B - логические переменные, мы рассмотрим все возможные комбинации значений A и B, вычислим ¬A (отрицание A) и затем вычислим ¬A ∨ B (логическое ИЛИ между ¬A и B).
| A | B | ¬A | ¬A ∨ B |
|---|---|----|--------|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 |
* **Строка 1: A = 0, B = 0**
* ¬A = ¬0 = 1
* ¬A ∨ B = 1 ∨ 0 = 1
* **Строка 2: A = 0, B = 1**
* ¬A = ¬0 = 1
* ¬A ∨ B = 1 ∨ 1 = 1
* **Строка 3: A = 1, B = 0**
* ¬A = ¬1 = 0
* ¬A ∨ B = 0 ∨ 0 = 0
* **Строка 4: A = 1, B = 1**
* ¬A = ¬1 = 0
* ¬A ∨ B = 0 ∨ 1 = 1