1. какой тип данных могут иметь аргументы и возвращаемые значения функций 2. какой тип данных могут иметь аргументы и возвращаемые значения строковых функций 3. какой тип данных могут иметь аргументы и возвращаемые значения функций ввода и вывода 4. какой тип данных могут иметь аргументы и возвращаемые значения функций даты и времени

1- real 2 - string 3 - write, read 4 - date, time

1) real integer (longint   int64   real48-для большых чисел) 2) string   (ansistring) 3) write writeln read readln 4)date time

Быстрее всего можно узнать порядок в случае всех положительных ответов. (1 первый? - да. 2 второй? - да. 3 третий? - да. 4 четвертый? - да) - 4 вопроса. очевидно что сложнее всего узнать порядок будет при всех отрицательных ответах. в этом случае для того, что бы определить каким полетит 1-й самолет нужно задать 4 вопроса? (первым? вторым? третим? четвертым? (если нет - значит пятым) осталось 4 самолета. в этом случае количество вопросов  умеништся на один ( позиция первого самолета уже известна) - 3 вопроса осталось три самолета. теперь достаточно задать 2 вопроса  и для определения позиций последних двух самолетов нужно задать еще 1 вопрос. итого, что бы гарантированно получить порядок самолетов при наихудшем раскладе, как минимум нужно будет задать 4+3+2+1=10 вопросов. * для более убедительного доказательства можно построить полное дерево возможных вариантов.

1. x1→(x2∧x3∨x4∧x5∨x6∧x7) при x1 x2 x3 x4 x5 x6 x7 f 0 1 0 1 1 1 0 0 0→(1∧0∨1∧1∨1∧0) =  0→1 = 1, а f=0. не подходит 2. x2→(x1∧x3∨x4∧x5∨x6∧x7) при  x1 x2 x3 x4 x5 x6 x7 f 0 1 0 1 1 1 0 0 1→(0∧0∨1∧1∨1∧0) = 1→1 = 1,  а  f=0. не подходит 3. x3→(x1∧x2∨x4∧x5∨x6∧x7) приx1 x2 x3 x4 x5 x6 x7 f 0 1 0 1 1 1 0 0 1→(0∧1∨1∧1∨1∧0) = 1→1 = 1,  а  f=0. не подходит 4.x4→(x1∧x2∨x3∧x5∨x6∧x7)  при x1 x2 x3 x4 x5 x6 x7 f 0 1 0 1 1 1 0 0 1→(0∧1∨0∧1∨1∧0) = 1→0 = 0 - верноx1 x2 x3 x4 x5 x6 x7 f 1 0 1 1 0 0 1 0 1→(1∧0∨1∧0∨0∧1)= 1→0 = 0 - верно x1 x2 x3 x4 x5 x6 x7 f 0 1 0 1 1 0 1 0 1→(0∧1∨0∧1∨0∧1)= 1→0 = 0 - верно ответ: выражение  x4→(x1∧x2∨x3∧x5∨x6∧x7) соответствует f.