Необходимо заполнить таблицу истинности для выражения \( (A \lor
eg B) \land
eg C \lor A \).
Сначала определим значения eg B и eg C:
Затем вычисляем B C.
Наконец, вычисляем B C A.
| A | B | C | ¬B | ¬C | A ∨ ¬B | (A ∨ ¬B) ∧ ¬C | (A ∨ ¬B) ∧ ¬C ∨ A |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 |
Ответ:
| A | B | C | (A ∨ ¬B) ∧ ¬C ∨ A |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |