S1 := '123';
S2 := '456';
S3 := '1234';
1) ложно — строки сравниваются посимвольно (сравниваются коды символов), и если в первой паре символов сравнить '1' и '4', то '4' будет больше '1'
2) ложно — строки будут равны, если у них одинаковая длина и одинаковые сравниваемые пары символов. В данном случае, символы разные
3) истинно — условие, противоположное первому условию. Т.к. первое было ложным, то это истинно
4) истинно — происходит посимвольное сравнение, и когда доходит дело до последнего символа у строки S3, то при его сравнении с несуществующим символом у строки S1, строка S3 очевидно оказывается больше
Ответ: