Объяснить принцип работ следующих программ (записать, что происходит в каждой сточке программы): 1) program n22; var a, b:integer; begin writeln('введите целое число a'); readln(a); writeln('введите целое число b'); readln(b); writeln ('a mod b = ', a mod b); writeln ('a div b = ', a div b); end. 2) program n_s; var a, b, c: integer; p, s: real; begin writeln('Вычисление площади треугольника по трем сторонам'); write('введите значения a, b, c'); readln(a, b, c); p:= (a+b+c)/2; s:= sqrt(p*(p-a)*(p-b)*(p-c)); writeln ('s=', s:2:1); end.

Обозначим 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]