Просмотр содержимого документа
«Дз 30. Метод отображений в системах логических уравнений»
Задание 30.
Сделать таблицу правильных входных и выходных данных (до К=5)
Для заданного положительного вещественного числа A необходимо найти максимальное целое число K, при котором выполняется неравенство
. Для решения этой задачи ученик написал такую программу:
var a, s: real;
k: integer;
begin
read(a);
k := 1;
s := 1;
while s
s := s + 1.0/k;
k := k + 1;
end;
write(k);
end.
Последовательно выполните следующее.
1. Напишите, что выведет эта программа при вводе числа 1.2.
2. Приведите пример числа, при вводе которого программа выведет правильный ответ.
3. Найдите в программе все ошибки (их может быть одна или несколько). Для каждой ошибки выпишите строку, в которой она допущена, и приведите эту же строку в исправленном виде.
23-97. Замены. Сколько различных решений имеет система уравнений?
(x1 x2) (x3 x4) = 1
(x3 x4) (x5 x6) = 1
(x5 x6) (x7 x8) = 1
23-139. Замены. Сколько различных решений имеет система логических уравнений
(x1 y1) (x2 y2)
(x2 y2) (x3 y3)
...
(x8 y8) (x9 y9)
23-126. Сколько различных решений имеет система логических уравнений
(x1 x2) (x2 x3) (x3 x4) (x4 x5) = 1
(y1 y2) (y2 y3) (y3 y4) (y4 y5) = 1
(z1 z2) (z2 z3) (z3 z4) (z4 z5) = 1
x3 y4 z5 = 0
Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, x6, x7, x8, которые удовлетворяют всем перечисленным ниже условиям (ЕГЭ, сентябрь):
((x1 →x2) →(x3 →x4)) /\ ((x3 →x4) →(x5 →x6)) /\ ((x5 →x6) →(x7 →x8 )) /\
/\ ((x7 →x8) →(x9 →x10 )) = 1;
x1 /\ x3 /\ x5 /\ x7/\ x9 = 1.
Метод отображений
23-103. Сколько различных решений имеет система уравнений
(X1 X2) (X2 X3) = 1
(X2 X3) (X3 X4) = 1
...
(X5 X6) (X6 X7) = 1
23-143. Сколько различных решений имеет система логических уравнений
(x1 y1) (x2 y2)
(x2 y2) (x3 y3)
...
(x7 y7) (x8 y8)
23-147. Сколько различных решений имеет система логических уравнений
(x1 y1) (x2 y2)
(x2 y2) (x3 y3)
...
(x6 y6) (x7 y7)
23-123. Сколько различных решений имеет система логических уравнений
(x1 y1) ((x2 y2) (x1 y1)) = 1
(x2 y2) ((x3 y3) (x2 y2)) = 1
...
(x6 y6) ((x7 y7) (x6 y6)) = 1
x7 y7 = 1
23-162. Сколько различных решений имеет система логических уравнений
(x1 (x2 y2)) (y1 y2) = 1
(x2 (x3 y3)) (y2 y3) = 1
...
(x6 (x7 y7)) (y6 y7) = 1
23-163. Сколько различных решений имеет система логических уравнений
(x1 (x2 y2)) (y1 y2) = 1
(x2 (x3 y3)) (y2 y3) = 1
...
(x6 (x7 y7)) (y6 y7) = 1
x7 y7 = 1