<span><span>Формальный - запись алгоритма словесно, на естественном языке.
</span><span>Графический - изображение алгоритма в виде блок-схемы.</span></span>
ФУНКЦИЯ mod вычисляет остаток от деления. Если одно целое делится без остатка на второе, то оно кратно второму. Следовательно, верен ответ с.
Var
a,b:array[1..100]of integer;
i,max,min,n:integer;
begin
readln(n);
max:=0; min:=32;
for i:=1 to n do
begin
readln(a[i],b[i]);
if a[i]>max then max:=a[i];
if b[i]<min then min:=b[i];
end;
if min>=max then
writeln('YES')
else writeln('NO');
end.
Пример:
3
1 5
3 10
4 14
<span>YES</span>
И где вопрос???????????????????
В таблице нас больше всего интересует последняя строка, т.к. в выражениях, в основном, дизъюнкция и импликация (за исключением последнего, там еще и конъюнкция), а дизъюнкция и импликация ложны только в одном случае, поэтому нам проще работать с ложью.
Подставим значения из последней строки в каждое выражение:
Примечание: импликация ложна в случае 1 → 0.
1) (1 → 1) → 0 - ложно, т.к. выражение в скобках даёт 1, и мы получаем (1) → 0 = 0
2) 1 → ( 1 → 0 ) - ложно, т.к. выражение в скобках даёт 0, и мы получаем 1 → (0) = 0
3) ¬1 ∨ 1 → 0 = (0 ∨ 1) → 0 = 1 → 0 - ложно
4) 1 ∨ 1 ∧ ¬ 0 - истинно, т.к. в дизъюнкции первой уже стоит 1. Кроме того, 1 ∧ ¬ 0 так же даёт 1.
Ответ: 4