(x1 v y1) -> (x2 ^ y2) = 0, следовательно (x1 v y1) = 1 и (x2 ^ y2) = 0 {т.к. следование возвращает 0 только на одном наборе значений: 1 -> 0 = 0}, т.е. хотя бы одна из переменных x1,y1 равна 1 и хотя бы одна из переменных x2,y2 равна 0.
Аналогично, из (x2 v y2) - > (x3 ^ y3) = 0 следует, что (x2 v y2) = 1 и (x3 ^ y3) = 0, т.е. хотя бы одна из переменных x2,y2 равна 1 и хотя бы одна из переменных x3,y3 равна 0.
Теперь про пару переменных x2,y2 известно, что хотя бы одна из них = 0 и хотя бы одна из них = 1, т.е. возможно два варианта: x2 = 1, y2 = 0 или x2 = 0, y2 = 1.
Применяя те же рассуждения для пар x3,y3 ... x5,y5, получаем, что для каждой из этих пар тоже существует два варианта значений.
Т.е. получается, что
Среди переменных x1,y1 хотя бы одна = 1 - три варианта (01, 10, 11)
В парах переменных x2,y2 ... x5,y5 одна = 1, другая = 0 - по два варианта на каждую (их 4) пару (01, 10)
Среди переменных x6,y6 хотя бы одна = 0 - три варианта (01, 10, 00)
Всего получается 3 * 2^4 * 3 = 144 возможных наборов значений переменных