На каждой итерации цикла x div 100 убирает 2 цифры числа x с конца и к a прибавляется 1.
Тогда если a = 2 значит x лежит в диапазоне от 100 до 9999. Например при x=100 на первой итерации a=a+1=1 ,x=x div 100=1, 1>0 цикло продолжается a:=a+1=2; x:=x div 100=0. При x=9999 на первой итерации a=a+1=1 ,x=x div 100=99, 99>0 цикло продолжается a:=a+1=2; x:=x div 100=0.
К переменной b прибавляется 2 последние цифры числа x. Если в числе x будет четыре цифры то после первой итерации в числе x останется 2 цифры. Это значит что даже при минимальном четырехзначном числе x=1000 b=b+(10 mod 100)=b+10=10 мы получим значение большее 8. Значит нам подходят только трехзначные числа. Чтобы число было максимальным ставим 8 в сотни:800.
Сделаем простое преобразование: Мы получили конъюнкцию b и выражения в круглых скобках. Она ложна, если ложно хотя бы b в этом выражении. Поищем колонку, в которой всегда стоит ноль, если ноль в колонке F. Это предпоследняя колонка, следовательно она содержит значения для b (ведь в колонке указано значение одной переменной)
А теперь воспользуемся истинным значением F. F истинно только если истинны одновременно и b, и выражение в скобках. А в скобках находится дизъюнкция с и инверсии a. Дизъюнкция ложна, если ложны оба её компонента, т.е. если ложно с и истинно а (из-за инверсии). Это дает нам комбинацию cabF=0110 или acbF=1010. Находим одну из этих строк: 1010 третья снизу. Следовательно, подписи колонок acbF.
a c b F 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1
Тогда если a = 2 значит x лежит в диапазоне от 100 до 9999. Например при x=100 на первой итерации a=a+1=1 ,x=x div 100=1, 1>0 цикло продолжается a:=a+1=2; x:=x div 100=0. При x=9999 на первой итерации a=a+1=1 ,x=x div 100=99, 99>0 цикло продолжается a:=a+1=2; x:=x div 100=0.
К переменной b прибавляется 2 последние цифры числа x. Если в числе x будет четыре цифры то после первой итерации в числе x останется 2 цифры. Это значит что даже при минимальном четырехзначном числе x=1000 b=b+(10 mod 100)=b+10=10 мы получим значение большее 8. Значит нам подходят только трехзначные числа. Чтобы число было максимальным ставим 8 в сотни:800.
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
Сделаем простое преобразование:
Мы получили конъюнкцию b и выражения в круглых скобках. Она ложна, если ложно хотя бы b в этом выражении. Поищем колонку, в которой всегда стоит ноль, если ноль в колонке F. Это предпоследняя колонка, следовательно она содержит значения для b (ведь в колонке указано значение одной переменной)
? ? b F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
А теперь воспользуемся истинным значением F. F истинно только если истинны одновременно и b, и выражение в скобках. А в скобках находится дизъюнкция с и инверсии a. Дизъюнкция ложна, если ложны оба её компонента, т.е. если ложно с и истинно а (из-за инверсии). Это дает нам комбинацию cabF=0110 или acbF=1010. Находим одну из этих строк: 1010 третья снизу. Следовательно, подписи колонок acbF.
a c b F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1