Дано:

Вопрос:
сколько существует различных наборов значений логических переменных x1, x2, … x9, x10, которые удовлетворяют всем перечисленным выше условиям?

*примечание:  в ответе не нужно перечислять все различные наборы значений x1, x2, … x9, x10, при которых выполнена данная система равенств. В качестве ответа вам нужно указать количество таких наборов.

Логическое выражение – выражение, содержащее различные суждения, высказывания, изречения, операторы, операции, результатом вычисления которого является одно из двух предопределенных значения «Истина» или «Ложь».

Под преобразованием логических выражений, или упрощением логической формулы, понимается изменение исходного логического выражения в соответствии с законами алгебры логики, приводящее к логической формуле, в которой меньше конъюнкции и дизъюнкции, нет отрицаний неэлементарных формул.

Пример логического выражения: "Если  мне сообщат, что все школьники сдали ЕГЭ по информатике и ИКТ 2012 год на 100%, то я не поверю данной информации".

Основные логические операции в алгебре логики:

• инверсия;

• конъюнкция;

• дизъюнкция;

• импликация;

• эквивалентность.

Сначала нужно понять, что означают символы, фигурирующие в заданных условиях (уравнениях), а именно: `-=`, `^^`, `vv``not`

• `-=`  - данный символ означает логическую операцию эквиваленция;

• `^^`  - данный символ означает логическую операцию конъюнкция (Логическое И);

• `vv`  - данный символ означает логическую операцию дизъюнкция (Логическое ИЛИ);

• `not`  - данный символ означает логическую операцию инверсия (Логическое НЕ).

Также для решения исходной задачи нам потребуется один из главнейших законов булевой алгебры:

`not`(A `^^`B) = `not` A `vv` `not` B - закон де Моргана для логического умножения.

Проанализируем первое условие (логическое уравнение):

Давайте более детально посмотрим на минисистему логических уравнений, состоящую из двух уравнений.
Если a = 1 и одновременно с этим b = 1, то система уравнений не имеет решения, так как (II) уравнение не будет тождественным:  0 = 1 - не верно!

Если a = 0 и одновременно с этим b = 0, то система уравнений не имеет решения, так как (I) уравнение не будет тождественным: 0 = 1 - не верно!

Если a = 0 и одновременно с этим b = 1, то система уравнений имеет решение.
Если a = 1 и одновременно с этим b = 0, то система уравнений имеет решение.

Проанализируем второе условие (логическое уравнение) заданное по условию задачи (при анализе обязательно будем опираться на выкладки, полученные нами на предыдущем шаге):

Давайте более детально посмотрим на минисистему логических уравнений, состоящую из двух уравнений.
Если b = 1 и одновременно с этим c = 1, то система уравнений не имеет решения, так как (II) уравнение не будет тождественным:  0 = 1 - не верно!

Если b = 0 и одновременно с этим c = 0, то система уравнений не имеет решения, так как (I) уравнение не будет тождественным: 0 = 1 - не верно!

Если b = 0 и одновременно с этим c = 1, то система уравнений имеет решение.
Если b = 1 и одновременно с этим c = 0, то система уравнений имеет решение.

Ранее, мы уже приняли значение переменной b = 1 (x₃ = x₄), следовательно, значение переменной c = 0 (x₅ `!=`  x₆)

Если перейти к анализу третьего условия (логического уравнения), то получится "идентичная" ситуация, то есть будут построены похожие промежуточные системы уравнений и сделаны логические умозаключения, как и для предыдущих условий.

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

8 `*` 2 = 16[шт].

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

16 `*` 2 = 32[шт].

ВНИМАНИЕ! Кульминационный момент задания!