Заполним таблицу истинности по шагам, используя заданные обозначения логических операций: отрицание (¬), конъюнкция (∧), дизъюнкция (∨).
| A | B | C | ¬A | ¬A v B | (¬A v B) ∧ C |
| 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 1 | 1 |
Ответ: таблица заполнена.