Иван и сергей совместно используют канал доступа в интернет с пропускной мбайт в секунду. система нагрузки настроена таким образом, что если в данный момент времени канал использует только один человек, то скачивание файла происходит со скоростью равной пропускной канала, а если канал используют несколько человек — пропускная канала поровну делится между пользователями. иван начал скачивать файл размером 32 мбайт. через некоторое время после этого сергей начал скачивать файл размером 16 мбайт. известно, что иван и сергей одновременно закончили скачивать свои файлы. за сколько секунд иван скачал свой файл? затраты пропускной канала на передачу информации и подтверждений не учитываются. в процессе скачивания файлов никакой дополнительной активности в сети пользователи не проявляют. в ответе укажите целое число секунд.

Импликацию часто по-другому называют "Следование".
Т.е. из выражения a следует выражение b.
Основные правила импликации, где 0 - ложь, 1 - истина.
Импликация ложна тогда и только тогда, когда из истины следует ложь. 
А теперь так, как когда-то  объясняли мне:
1) 1->1 = 1 
Из истины следует истина. То есть из истинного факта (а) следует (или же мы делаем) справедливый истинный вывод(b). Все в порядке. Справедливо. Получаем 1 (истину) после операции импикации.

2) 0->1 = 1
Из неправильного высказывания (a) мы делаем правильный вывод(b). С этим тоже все в порядке, множество научных открытий делалось по принципу "из ошибочного суждения - верная теория". Бывает. Справедливо. Получаем истину.

3) 0->0 = 1
Из ложного высказывания (a) - ложные "выводы"(b) , тоже все в порядке. Логично, что из одной "лжи", у нас вторая "ложь". Справедливо. Получаем иситну.

4) 1->0 = 0
Из истинного высказывания (a) получаем ложное высказывание (b). Т.е. мы взяли и переврали истину непонятно как. Нехорошо и не справедливо. Получаем ложь:(

Если остались вопросы, или вообще никак не в комментарии:)

Дешифровка: ВХОД_ОТКР Ы Т.

дешифровки:
Const sh = '_.,';
Var
  St : String;
  i  : Integer;
Function DeCode(S : String; Tabl : String; k : Integer) : String;
Var j,n : Integer;
Begin
  For j:=1 to Length(S) do
  Begin
    n:=Pos(S[j],sh);
    If n>0 then
    Begin
      n:=n+k;
      While n>Length(sh) do n:=n-Length(sh);
      While n<=0 do n:=n+Length(sh);
      S[j]:=sh[n];
    end
  end;
  DeCode:=S;
end;
Begin
  St:='ЗЫФЙГФШРЦ . ШД';
  Writeln(Decode(St,sh,-6));
  //For i:=-10 to 10 do Writeln(Decode(St,sh,i));
end.