Ответ: Необходимо заполнить таблицу истинности для логического выражения ((X→Y)^(Y→Z))→(X→Z)
Для начала вспомним таблицу истинности для импликации (→):
Теперь заполним таблицу истинности для выражения ((X→Y)^(Y→Z))→(X→Z):
| X | Y | Z | X→Y | Y→Z | (X→Y)^(Y→Z) | X→Z | ((X→Y)^(Y→Z))→(X→Z) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Из таблицы видно, что для всех комбинаций входных переменных значение выражения ((X→Y)^(Y→Z))→(X→Z) равно 1. Это означает, что выражение является тавтологией.
Ответ: Необходимо заполнить таблицу истинности для логического выражения ((X→Y)^(Y→Z))→(X→Z)