As the program runs, the device keeps one “result” at a time: either yes (true) or no (false). Your blocks either change that result or use it.
“Check that …” blocks (and / or conditions) build up the result: the first one sets it from that input, and any more combine with it (like “input A and input B”).
“Clear” and “Set” reset the result. So do outputs (Turn output ON/OFF, Turn ON, Turn OFF), jumps, and Start timer. After any of those, the next “Check that …” starts from scratch instead of adding to the previous result.
Example: if you use Start timer and then Check that T3 is ON, that check is on its own—the output stays off until the timer finishes, then it can turn on. That’s why “Start timer” is in the “resets the result” group.
For technical details (and to see the result in real time), try the Q-debugger (by Dwight Kelly). The summary above was derived by AI from the reference Understanding the STL Logic String (Dave Sand, Layout Command Control group).