Решение систем логических уравнений с помощью замены (10А, 24 апреля)

1. Заполните форму о том, что видели этот пост.
2. Посмотрите видеоурок:

3. Решите задачи, по аналогии с видеоуроком (выполняя замену):

В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

1. Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, x6, x7, x8, которые удовлетворяют указанному ниже условию?

((x1 → x2) → (x3 → x4)) ∧ ((x3 → x4) → (x5 → x6)) ∧ ((x5 → x6) → (x7 → x8 )) = 1

2. Сколько существует различных наборов значений логических переменных x1, x2, ... x9, y1, y2, ... y9, которые удовлетворяют всем перечисленным ниже условиям?

(¬ (x1 ≡ y1)) ≡ (x2 ≡ y2)
(¬ (x2 ≡ y2)) ≡ (x3 ≡ y3)
      …
(¬ (x8 ≡ y8)) ≡ (x9 ≡ y9)

4.Сфотографируйте решение
5. Отправьте получившиеся изображения на почту infmatem208@gmail.com (или вопросы по работе)
В письме пожалуйста указывайте фамилию, класс и тему урока.