Запишем в столбик:
$\snippet{name: op_column_rows, args: ['КТО', 'КОТ'], solution: 'ТОК'}$
Так как под О + Т и Т + О получаем разные суммы, то О + Т больше 10. Тогда Т + О + 1 = 0 + 10, значит Т = 9.
Получаем:
$\snippet{name: op_column_rows, args: ['К9О', 'КО9'], solution: '9ОК'}$
Так как K + K = 9 и минус 1 был в уме, значит К = 4.
Получаем:
$\snippet{name: op_column_rows, args: ['49О', '4О9'], solution: '9О4'}$
Следовательно, О = 5.
Ответ:
$\snippet{name: op_column_rows, args: ['495', '+459'], solution: '954'}$