На рисунке — схема дорог, связывающих города А, Б, В, Г, Д, Е, Ж, И, К. По каждой дороге можно двигаться только в одном направлении, указанном стрелкой. Сколько существует различных путей из города А в город К, проходящих через город Г?

Var _500,_100,_50,_10,money_get:integer;beginwriteln('Введите стоимость товара');readln(money_get);while(money_get mod 10 <> 0) do        begin        writeln('стоимость должна делиться на 10, попробуйте еще раз');        readln(money_get);        end;while (money_get>=500) do        begin        _500:=_500+1;        money_get:=money_get-500;        end;while (money_get>=100) do        begin        _100:=_100+1;        money_get:=money_get-100;        end;while (money_get>=50) do        begin        _50:=_50+1;        money_get:=money_get-50;        end;while (money_get>=10) do        begin        _10:=_10+1;        money_get:=money_get-10;        end;
writeln(_500,': 500 рублей',_100,':100 рублей',_50,':50 рублей',_10,':10 рублей');

readln;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]