Ответ:
Решение:
Проанализируем фрагмент таблицы истинности:
| A | B | C | Выражение |
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 |
Рассмотрим предложенные выражения:
- A ∧ ¬B ∨ ¬C:
- При A=0, B=0, C=0: 0 ∧ ¬0 ∨ ¬0 = 0 ∧ 1 ∨ 1 = 0 ∨ 1 = 1. (Совпадает)
- При A=0, B=0, C=1: 0 ∧ ¬0 ∨ ¬1 = 0 ∧ 1 ∨ 0 = 0 ∨ 0 = 0. (Совпадает)
- При A=0, B=1, C=0: 0 ∧ ¬1 ∨ ¬0 = 0 ∧ 0 ∨ 1 = 0 ∨ 1 = 1. (Совпадает)
- (A ∨ B) ∧ C:
- При A=0, B=0, C=0: (0 ∨ 0) ∧ 0 = 0 ∧ 0 = 0. (Не совпадает, таблица дает 1)
- ¬(A ∧ B) ∨ C:
- При A=0, B=0, C=0: ¬(0 ∧ 0) ∨ 0 = ¬0 ∨ 0 = 1 ∨ 0 = 1. (Совпадает)
- При A=0, B=0, C=1: ¬(0 ∧ 0) ∨ 1 = ¬0 ∨ 1 = 1 ∨ 1 = 1. (Не совпадает, таблица дает 0)
- ¬A ∧ ¬B ∧ ¬C:
- При A=0, B=0, C=0: ¬0 ∧ ¬0 ∧ ¬0 = 1 ∧ 1 ∧ 1 = 1. (Совпадает)
- При A=0, B=0, C=1: ¬0 ∧ ¬0 ∧ ¬1 = 1 ∧ 1 ∧ 0 = 0. (Совпадает)
- При A=0, B=1, C=0: ¬0 ∧ ¬1 ∧ ¬0 = 1 ∧ 0 ∧ 1 = 0. (Не совпадает, таблица дает 1)
Первое выражение соответствует всем строкам таблицы.
Ответ: 1) A ∧ ¬B ∨ ¬C
