Сначала составим таблицу истинности для ¬C (отрицание C):
| C | ¬C |
|---|---|
| 0 | 1 |
| 1 | 0 |
Теперь составим таблицу истинности для A ∨ ¬C (A ИЛИ НЕ C):
| A | C | ¬C | A ∨ ¬C |
|---|---|---|--------|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
Далее составим таблицу истинности для -(A ∨ ¬C) (НЕ (A ИЛИ НЕ C)):
| A | C | A ∨ ¬C | -(A ∨ ¬C) |
|---|---|--------|-----------|
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 |
Теперь составим таблицу истинности для B ∨ C (B ИЛИ C):
| B | C | B ∨ C |
|---|---|-------|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
И, наконец, составим таблицу истинности для -(A ∨ ¬C) ∧ (B ∨ C) (НЕ (A ИЛИ НЕ C) И (B ИЛИ C)):
| A | B | C | -(A ∨ ¬C) | B ∨ C | -(A ∨ ¬C) ∧ (B ∨ C) |
|---|---|---|-----------|-------|-------------------|
| 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 1 | 0 |
Ответ:
```html
| A |
B |
C |
-(A ∨ ¬C) ∧ (B ∨ C) |
| 0 |
0 |
0 |
0 |
| 0 |
0 |
1 |
1 |
| 0 |
1 |
0 |
0 |
| 0 |
1 |
1 |
1 |
| 1 |
0 |
0 |
0 |
| 1 |
0 |
1 |
0 |
| 1 |
1 |
0 |
0 |
| 1 |
1 |
1 |
0 |
```