Для решения этой задачи нам понадобится построить таблицу истинности и заполнить её, используя логические операции.
Условные обозначения:
- ¬A (отрицание A) – истинно, если A ложно, и наоборот.
- A V B (дизъюнкция A или B) – истинно, если хотя бы одно из A или B истинно.
- A ∧ B (конъюнкция A и B) – истинно, если оба A и B истинны.
| A |
B |
C |
A V C |
¬(A V C) |
¬(A V C) V B |
¬C |
(¬(A V C) V B) ∧ ¬C |
| 0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
| 0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
| 0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
| 0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
| 1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
| 1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
| 1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
| 1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
Ответ: Результаты вычислений представлены в последнем столбце таблицы.