Как расшифровать «КЭ» (в высказывании Дж.Мура)? Как понимать слова «юзер», «инсталлироваться», «аннотация»?

Т.К ЭТО ИМПЛИКАЦИЯ, ТО ВЫРАЖЕНИЕ ИСТИННО ТОГДА, КОГДА 1)ПЕРВАЯ СКОБКА=1 (ИСТИНА) И ВТОРАЯ СКОБКА =1
2)ЕСЛИ ПЕРВАЯ СКОБКА = 0 (ЛОЖЬ), ТО ВТОРАЯ М.Б. ЛЮБОЙ
1)ПРОВЕРИМ ПЕРВОЕ ПРЕДПОЛОЖЕНИЕ, Т.Е 1 СКОБКА = 1 И ВТОРАЯ =1
ВТОРАЯ СКОБКА РАВНА ЕДИНИЦЕ, КОГДА X>=10, ИНАЧЕ ВТОРАЯ СКОБКА БУДЕТ МЕНЬШЕ 0. Т.Е. В ПЕРОМ СЛУЧАЕ ОТВЕТ 10
2) РАССМОТРИМ ВТОРОЕ ПРЕДПОЛОЖЕНИЕ, КОГДА ПЕРВАЯ СКОБКА = 0. ЭТО МОЖЕТ ПРОИЗОЙТИ, КОГДА X=7. ТОГДА ПЕРВАЯ СКОБКА СТАНОВИТСЯ ЛОЖЬ И ВСЕ ВЫРАЖЕНИЕ ПРИ ЭТОМ ИСТИННО.7<10
ОТВЕТ X=7

Если нужны программы на Паскале, то держи. Во втором, правда, не учитывается то, что числа могут быть равны. Если это сделать, то будет лишним палевом перед преподом, думаю)

№1

var A, B, C, sum, razn, proizv: integer; chastnoe: real;
label undf;
begin
undf: writeln('Введите А:');
readln(A);
writeln('Введите B:');
readln(B);
writeln('Введите C:');
readln(C);
sum := A + B + C; // находим сумму АВС
proizv := A * B * C; // находим произведение АВС
razn := A - B; // находим разность А и В
chastnoe := B / C; // находим частное В и С
writeln('Сумма А, В, С: ', sum);
writeln('Произведение А, В, С: ', proizv);
writeln('Разность А и В: ', razn);
writeln('Частное В и С: ', chastnoe);
end.

№2

var A, B, razn: integer;
begin
write('Введите А: ');
readln(A);
write('Введите B: ');
readln(B);
razn := abs( A - B );
if A < B then writeln('Первое число меньше второго на ', razn)
else writeln('Первое число больше второго на ', razn);
end.