1. Сколько различных решений имеет система логических уравнений (x1 → x2) ^ (x1 v ¬y1) = 1 (x2 → x3) ^ (x2 v ¬y2) = 1 … (x7 → x8) ^ (x7 v ¬y7) = 1 (y8 → x8) = 1 где x1, x2, …, x8 и y1, y2, …, y8 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов. Выберите один ответ: 1 600 2 511 3 510 4 512
2. Логическая функция F задаётся выражением (x → y ) /\ (y → z). Ниже приведён фрагмент таблицы истинности. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z? В ответе напишите буквы x, y, z в том порядке, в котором идут соответствующие им столбцы.