Проверим каждое выражение по таблице истинности:
1. (X ∨ ¬Y) ∧ Z:
- X=0, Y=1, Z=1 -> (0 ∨ ¬1) ∧ 1 = (0 ∨ 0) ∧ 1 = 0 ∧ 1 = 0 (Совпадает)
- X=1, Y=0, Z=0 -> (1 ∨ ¬0) ∧ 0 = (1 ∨ 1) ∧ 0 = 1 ∧ 0 = 0 (Не совпадает, должно быть 1)
2. (X ∧ ¬Y) ∨ Z:
- X=0, Y=1, Z=1 -> (0 ∧ ¬1) ∨ 1 = (0 ∧ 0) ∨ 1 = 0 ∨ 1 = 1 (Не совпадает, должно быть 0)
3. (X ∨ ¬Y) ∨ ¬Z:
- X=0, Y=1, Z=1 -> (0 ∨ ¬1) ∨ ¬1 = (0 ∨ 0) ∨ 0 = 0 ∨ 0 = 0 (Совпадает)
- X=1, Y=0, Z=0 -> (1 ∨ ¬0) ∨ ¬0 = (1 ∨ 1) ∨ 1 = 1 ∨ 1 = 1 (Совпадает)
- X=0, Y=0, Z=1 -> (0 ∨ ¬0) ∨ ¬1 = (0 ∨ 1) ∨ 0 = 1 ∨ 0 = 1 (Совпадает)
4. X ∧ ¬Y ∧ ¬Z:
- X=0, Y=1, Z=1 -> 0 ∧ ¬1 ∧ ¬1 = 0 ∧ 0 ∧ 0 = 0 (Совпадает)
- X=1, Y=0, Z=0 -> 1 ∧ ¬0 ∧ ¬0 = 1 ∧ 1 ∧ 1 = 1 (Совпадает)
- X=0, Y=0, Z=1 -> 0 ∧ ¬0 ∧ ¬1 = 0 ∧ 1 ∧ 0 = 0 (Не совпадает, должно быть 1)
Выражение (X ∨ ¬Y) ∨ ¬Z соответствует таблице истинности.