Looking at the schematics of the Air Data Computer internals, Boeing use the temperature sensor data from the TAT probe and combine it with Mach to produce a TAT value. Microprocessors do all the number crunching.
This TAT information is then fed into another microprocessor, along with mach (again!) to produce SAT.
Weird science
