Решение системы логических уравнений

Написать программу, определяющую сколько существует различных решений системы логических уравнений:

(x1→x2)˄(x2→x3) = 1

(y1→y2)˄(y2→y3) = 1

x1→y1 = 1

Для переменных x1, x2, x3 и y1, y2,-y3 использовать логический тип данных.