Б15 был такой вроде:
Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, которые удовлетворяют всем перечисленным ниже условиям?
(x1→x2) /\ (x2→x3) /\ (x3→x4) = 1
(y1→¬y2) /\ (y2→¬y3) /\ (y3→¬y4) = 1
(x1→y1) /\ (x2→y2) /\ (x3→y3) /\ (x4→y4) = 1
В качестве ответа Вам нужно указать количество таких наборов.