Суперлогика

> Сделай это верным.
>
>

**Суперлогика** *(англ. Superlogic)* — модовый обычный модуль. Содержит систему из трёх логических уравнений, представленных в виде цветных кнопок. Особенность модуля в том, что результаты одних логических выражений служат одновременно аргументами (переменными) для других уравнений. Для обезвреживания модуля необходимо подобрать такую одну комбинацию, чтобы равенство выполнялось для всех логических уравнений в системе.

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

## Руководство

* На модуле отображаются три логических уравнения: A, B, и C, выделенные либо красным цветом (что означает, что выражение возвращает **0**), либо зелёным цветом (что значит, что выражение возвращает **1**).
* Заметьте, что результаты одних логических выражений служат одновременно аргументами (переменными) для других уравнений. Вы можете изменять истинность каждой переменной A, B и C, кликая на них, при этом они автоматически будут меняться сразу во всех трёх уравнениях.
* Подберите такую комбинацию, чтобы равенство выполнялось для всех логических уравнений в системе. Установите булевы переменные в верные значения, а затем нажмите немаркированную кнопку сверху, чтобы обезвредить модуль. Если решение будет верным, модуль деактивируется, иначе он выдаст ошибку.
* Все операции, присутствующие в этом модуле, также используются другими ⊻ Логическими модулями. Помимо этого, в данном модуле есть логическая операция «НЕ», которая называется логическим отрицанием (инверсией) — она означает, что переменная **1** становится **0**, а **0** становится **1**. Например, ¬**1** = **0**, и наоборот, ¬**0** = **1**. Также логическое отрицание имеет наивысший приоритет среди логических операций.

## Советы по обезвреживанию

Как и в случае со многими другими логическими модули, для решения данного также необходимы знания логики. Если сапёр хорошо в этом разбирается, то модуль он сможет решить самостоятельно, без помощи эксперта.

Для решения модуля необходимо перепробовать различные варианты комбинаций A, B и C. Попробуйте начать с какого-то конкретного одного значения, например, с A (или любого другого, в зависимости от логической операции). Проще всего брать за основу операции, которые в трёх случаях из четырёх возвращают одно значение, и лишь в одном из четырёх — другое (то есть это все операции, кроме **XOR** «⊻» и **XNOR** «↔»). Старайтесь думать логически: если в данном выражении значение переменной будет истинно, значит оно должно быть истинно и во всех остальных выражениях. Если это условие нарушается, следовательно, исходная переменная должна иметь другое значение.

Если совсем ничего не получается, и вы не понимаете, как решить модуль, то воспользуйтесь простым методом подбора. Всего различных комбинаций значения A, B и C — 8 штук, и переключая их всеми возможными способами, вы определённо найдёте ту, которая вам и подходит.

## Галерея

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

* Решение
1/2
* Решение
1/2
* Решение
1/2
* Решение
1/2
* Решение
1/2
* Решение
1/2
* Решение
1/2