Ответ:
Читаю запись как эквивалентность между выражением A ∨ ¬B и C: F = (A ∨ ¬B) ≡ C.
Сначала вычисляем A ∨ ¬B, затем сравниваем полученное значение с C: эквивалентность истинна, когда значения совпадают.
| A | B | C | A ∨ ¬B | F |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 |
