Модуль: Системы логических уравнений


Задача

11/36

Система логических уравнений - 11

Теория

Не всегда будет получаться сделать стрелки из одной переменной в другую. Чаще их нужно будет делать из пары переменных в пару, иногда из тройки в тройку. Чтобы определить их количество, следует посмотреть, какие переменные повторяются в двух строках системы. Именно по ним будут делаться стрелки конкретного уравнения системы. 
 

Рассмотрим конкретный пример.

В данной системе в первой и второй строках повторяются переменные x2 и x3, во второй и третьей строках повторяются переменные x3 и x4. Значит для второго уравнения будет отображение пары переменных в пару (x2x3 в x3x4). Составляем стрелки (напоминание: стрелка проводится, если с конкретными значениями переменных выражение не противоречиво). 

Так как уравнения являются однотипными, все уравнения, начиная с первого, будут отображаться пара в пару. Составляем таблицу.

Задача

Сколько различных решений имеет система логических уравнений?
x1→(x2x3)=1
x2→(x3x4)=1
x3→(x4x5)=1
x4→(x5x6)=1

Выберите правильный ответ, либо введите его в поле ввода

Комментарий учителя