Сколько существует наборов переменных, при которых выражение G= не(А или не В) ложно? В ответе укажите ТОЛЬКО КОЛИЧЕСТВО числом

Обозначим 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)  Какое из двух введённых чисел больше

                           2) Являются ли  2 числа взаимно обратными

                           3) Ну и сложная задача Нахождение Наименьшего общего кратного 2ух чисел.

 

Program N1;

Uses Crt;

 var a,b:real;

begin

     clrscr; 

     write('Введите число a:');

      readln(a); 

      write('Введите число b:');

      readln(b);

      if (a=b) then writeln('Числа равны ');

      if (a>b) then writeln ('Число а больше ')

            else  writeln ('Число b больше '); 

  readkey;

end. 

 

Program N2;

Uses Crt;

 var a,b:real;

begin

     clrscr; 

     write('Введите число a:');

      readln(a); 

      write('Введите число b:');

      readln(b);

 if (a+b)=0 then writeln('Числа взаимно обратны !')

          else writeln('Числа не являются взаимно обратными !');

readkey;

end. 

 

 

Program N3;
Uses Crt;
var n,m,res,nok:integer;

function evklid( a, b: longint): longint;
begin
while (a <> 0) and (b <> 0) do
if a >= b then
a:= a mod b
else
b:= b mod a;
evklid:= a + b;
end;

begin
clrscr;
writeln('Введите A и B');
readln(M, N);
res:= (Evklid(n,m));
nok:= (m*n) div res;
writeln('NOK=',nok);
readkey;
end.