Как узнать сколько решений имеет логическое уравнение

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

Рассмотрим первое условие x1≡x2 .

Существует только две пары значений x1 и x2, при котором это выполняется: 0 0 и 1 1.

Рассмотрим второе условие x3⊕ x4.

Так же существует только две пары значений: 0 1 и 1 0.

Для третьего условия существует три пары: 0 1, 1 0 и 1 1.

Результат: 2*2*3 = 12