Niby logiczne, ale po co było doprowadzać do tej logiki?

A czy krośnieńskie światła regulujące ruch na skrzyżowaniach, też działają na prawch powyższej logiki?