2^40бит=2^40/2^33ГБайт=2^7Гбайт=128Гбайт
Каждое уравнение имеет вид
(A | B) & (~A | ~B) = 1
Отсюда следует, что
(A | B) = 1 и (~A | ~B) = 1
Из первой скобки следует, что по крайней мере одно из высказываний А, В истинно. Из второй - что по крайней мере одно из высказываний ~A, ~B истинно. Поэтому ровно одно из высказываний A, B истинно, а другое ложно.
Пусть мы знаем x1, x2, x3, x5, x7, x9. Тогда остальные переменные определены однозначно: если x1=x2, то x4=~x3, x6=x5, x8=~x7, x10=x9; иначе всё наоборот.
Эти 6 переменных независимы, поэтому общее количество решений = количеству всевозможных наборов x1, x2, x3, x5, x7, x9 = 2^6 = 64
Программа находит значение переменной
s:=s+15
for k:=1 to 6 - 6 шагов
при каждом шаге к значению прибавляется 15,за 6 шагов прибавится 15*6=90
это число и выводится программой
Ответ: 90
Очень простой пример задачи - вычислить площадь треугольника по трем сторонам (использовать формулу Герона). Исходные данные здесь - это три стороны (например, a, b, c); промежуточное значение - полупериметр p (используется в формуле Герона); итоговое значение S - площадь треугольника.