Выражение. a & b v a & ¬b & c v ¬b & a & ¬c v a & ¬c =

// PascalABC.NET 3.1, сборка 1201 от 18.03.2016
begin
  var k:=0;
  var n:=ReadInteger();
  var nmax:=0;
  while n<>0 do begin
    Inc(k);
    if n mod 10 = 0 then
      if n>nmax then nmax:=n;
    n:=ReadInteger()  
    end;
  var cntrl:=ReadInteger();
  Writeln('Получено ',k,' чисел');
  Writeln('Полученное контрольное значение: ',cntrl);
  Writeln('Вычисленное контрольное значение: ',nmax);
  if cntrl=nmax then Writeln('Контроль пройден')
  else Writeln('Контроль не пройден')
end.

Тестовое решение:
53
16
40
9
10
32
74
0
40
Получено 7 чисел
Полученное контрольное значение: 40
Вычисленное контрольное значение: 40
Контроль пройден

что мы имеем ввиду в теле программы:

printf("%d", 'C'-'A');

printf - выведи

"%d" - десятичное значение

'C'-'A' - отними значение С от А, то есть 2.

; конец инструкции

printf("%c", 'B' +1);

%c - чар, он же один байт и он же один символ

'B' +1 -сумму 'B' + 1, то есть 'C'

char это числовое значение, которое соответствует порядковому номеру символа в используемом компилятором/машиной СИМВОЛЬНОМ НАБОРЕ, например ASCII. Буквы алфавита во всех символьных наборах идут в лексографическом порядке и по стандарту имеют (если они ПЕЧАТНЫЕ, т.е. всегда, когда речь идёт о символьном наборе, а не использовании char как 1-байтного числа короче) гарантированно НАТУРАЛЬНЫЕ числовые значения. В латинских алфавитах С это третья буква, а А первая, значит, всегда разница между ними будет 2