Сколько существует различных наборов значений логических переменных x1, x2, ...x7, y1, y2, ...y7, которые удовлетворяют всем перечисленным ниже условиям?
x1 → y1 = 1
(x2 → (x1 ∧ y2)) ∧ (y2 → y1) = 1
(x3 → (x2 ∧ y3)) ∧ (y3 → y2) = 1
(x7 → (x6 ∧ y7)) ∧ (y7 → y6) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ... x7, y1, y2, ...y7, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

Паша имеет выйгрушную стратегию и сможет выйграть за один ход, если s=27 тогда ему достаточно добавить один камень чтобы игра закончилась при 28 камнях в куче или если s=14,15,16,17,18,19,20,21,22(44/2 и 28/2 т.е от 14 до 22), тогда не обходимо удвоить количество камней в куче.

Объяснение:

Паша имеет выйгрушную стратегию и сможет выйграть за один ход, если s=27 тогда ему достаточно добавить один камень чтобы игра закончилась при 28 камнях в куче или если s=14,15,16,17,18,19,20,21,22(44/2 и 28/2 т.е от 14 до 22), тогда не обходимо удвоить количество камней в куче.

1 sm('Игорь',18,189).

2 sm('Роман',17,182).

3 sm('Антон',20,191).

4 sm('Виктор',21,185).

5 sm('Николай',16,193).

6 % а) выбрать всех спортсменов выше 184 (включительно), но не выше 190;

7 % ?- findall( Name, (sm(Name, Age, Height), Height >= 184, Height < 190), Xs ).

8 % б) выбрать спортсменов моложе 20 лет, но не моложе 18 (включительно);

9 % ?- findall( Name, (sm(Name, Age, Height), Age < 20, Age >= 18), Xs ).

10 % в) выбрать всех спортсменов с ростом не ниже 186 и не старше 19 лет (включительно).

11 % ?- findall( Name, (sm(Name, Age, Height), Height > 186, Age =< 19), Xs ).