Таблица истинности для левой части
F = (X => Y) ^ (Y => Z)
X | Y | Z | X => Y | Y => Z | F
0 | 0 | 0 | 1 | 1 | 1
0 | 0 | 1 | 1 | 1 | 1
0 | 1 | 0 | 1 | 0 | 0
0 | 1 | 1 | 1 | 1 | 1
1 | 0 | 0 | 0 | 1 | 0
1 | 0 | 1 | 0 | 1 | 0
1 | 1 | 0 | 1 | 0 | 0
1 | 1 | 1 | 1 | 1 | 1
Правая часть
G = (X ^ Y) => Z
X | Y | Z | X ^ Y | G
0 | 0 | 0 | 0 | 1
0 | 0 | 1 | 0 | 1
0 | 1 | 0 | 0 | 1
0 | 1 | 1 | 0 | 1
1 | 0 | 0 | 0 | 1
1 | 0 | 1 | 0 | 1
1 | 1 | 0 | 1 | 0
1 | 1 | 1 | 1 | 1
Это совершенно разные функции