Обозначим P,Q,A утверждение что х принадлежит соответствующему отрезку ¬А отрицание А, то есть х не принадлежит А перепишем и упростим исходную формулу P→((Q∧¬A)→P) известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности) тогда: P→(¬(Q∧¬A)∨P) раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности) P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P ¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать остается ¬Q∨A Значит х либо принадлежит А либо не принадлежит Q для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q ответ А=[40,77]
Часть программы. Решение задач
1. Найдите ошибку в программе:
program ;
var a,b,c,d,f,p:integer;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
p:=a+b+c+d+f;
writeln('p=',p);
readln
end.
2. Найдите ошибку в программе:
program Prim 2 1;
var a,b,c,d,f,p:integer;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f ); p:=a+b+c+d+f;
writeln('p=',p);
readln
end.
3. Найдите ошибку в программе:
program Prim_2_1;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
p:=a+b+c+d+f;
writeln('p=',p);
readln
end.
4. Найдите ошибку в программе:
program Prim_2_1;
var a,b:integer;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
p:=a+b+c+d+f;
writeln('p=',p);
readln
end.
5. Найдите ошибку в программе:
program Prim_2_1;
var a,b,c,d,f,p:integer;
begin writeln('Введите 5 численных значений:');
p:=a+b+c+d+f;
writeln('p=',p);
readln
end.
6. Найдите ошибку в программе:
program Prim_2_1;
var a,b,c,d,f,p:integer;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
writeln('p=',p);
readln
end.
7. Найдите ошибку в программе:
program Prim_2_1;
var a,b,c,d,f,p:integer;
writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
p:=a+b+c+d+f;
writeln('p=',p);
readln
end.
8. Следующий алгоритм в результате выполнения программы находит:
program Prim_2_3;
var a,b,c,d,f,p:integer;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
p:=a+b+c;
writeln('p=',p);
readln
end
9. Найдите ошибку в программе:
program Prim_2_1;
var a,b,c,d,f,p:integer;
begin writeln('Введите 5 численных значений:');
readln(a,b,c,d,f );
p=:a+b+c+d+f;
writeln('p=',p);
readln
end.
¬А отрицание А, то есть х не принадлежит А
перепишем и упростим исходную формулу
P→((Q∧¬A)→P)
известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности)
тогда:
P→(¬(Q∧¬A)∨P)
раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности)
P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P
¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать
остается ¬Q∨A
Значит х либо принадлежит А либо не принадлежит Q
для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q
ответ А=[40,77]