Для выполнения задания необходимо построить таблицу истинности. Таблица истинности представляет собой структуру, где для каждого возможного набора значений логических переменных вычисляются значения заданных логических выражений. Переменные принимают значения 0 или 1. Составим таблицу для выражений, указанных в заголовке.
1. Переменные логические: А, В, С.
2. Выражения: ¬B, ¬C, (¬B & C), (B∨¬B & ¬C), A & (B∨¬B & ¬C).
Таблица:
| A | B | C | ¬B | ¬C | (¬B & C) | (B∨¬B & ¬C) | A & (B∨¬B & ¬C) |
|---|---|---|----|----|----------|--------------|-----------------|
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
Объяснение:
- ¬B — логическое отрицание переменной B.
- ¬C — логическое отрицание переменной C.
- ¬B & C — логическое И между ¬B и C.
- B∨¬B — дизъюнкция переменной B и её отрицания (всегда истина).
- B∨¬B & ¬C — результат дизъюнкции B∨¬B и конъюнкции на ¬C.
- A & (B∨¬B & ¬C) — результат конъюнкции A с предыдущим выражением.