Задачи на логику

[genrix]

Всем добрый вечер! Можете мне объяснить, на примере одной задачи, логические операции?

Вот задача:

Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, которые удовлетворяют всем перечисленным ниже условиям?

(x1→x2) /\ (x2→x3) /\ (x3→x4) /\ (x4→x5 ) = 1
(y1→y2) /\ (y2→y3) /\ (y3→y4) /\ (y4→y5 ) = 1
x1→y1 =1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

В голове не укладывается выражение:
(x1→x2) /\ (x2→x3) /\ (x3→x4) /\ (x4→x5 ) = 1.
если х1=х2=...=х5=0, то как выражение (0→0) и (0→0) и (0→0) и (0→0)=1
Буду признателен.

ЗЫ: доперло - это импликация, проверяется лишь выполнение условия) А я - то думал, что если х1→х2 - то х2=х1

[Вадим Мошев]

Импликация ложна только в том случае, если из истины следует ложь.
Эквиваленция (=) (двойная импликация) истинна, если операнды равны.