Соедините элементы — и лампа загорится.

Редактор схем

Элементы AND, OR, NOT, XOR, NAND, NOR, XNOR и BUF на сетке (2–4 входа у многовходовых), выключатель, лампа и генератор (0,5–8 Гц). Размещение касанием детали и выбором места или перетаскиванием; провода — перетаскиванием между выводами, касанием выводов по очереди или через окно «Соединить…».

Живое моделирование

Событийное, у каждого элемента задержка в один шаг. Схемы с обратной связью (RS-защёлка) приходят в устойчивое состояние; схема, которая в него не приходит, помечается как колеблющаяся. Провода с 1 светятся.

Таблица истинности и выражение

Таблица строится сама по выключателям и лампам (до 8 входов), текущая строка выделена. Булево выражение записывается как сумма произведений, упрощённая методом Квайна — Мак-Класки, для схем до 4 входов; формы XOR распознаются. «Копировать таблицу» даёт текст с разделением табуляцией.

12 упражнений

NOT, элементы, полусумматор и полный сумматор, только NAND, RS-защёлка, мультиплексор, дешифратор, компаратор, 2-битный сумматор, D-защёлка, голосование большинством. «Проверить» перебирает все комбинации входов и показывает первую неверную строку; прогресс сохраняется.

Собрать схему по таблице

Заполните таблицу истинности или введите выражение (A·B + ¬C, A ⊕ B …); Boolia собирает схему в упрощённом виде, до 4 входов и 4 выходов.

Выполнение по шагам

Каждый шаг — одна задержка элемента; детали, которые будут вычислены на следующем шаге, отмечены. Генератор можно переключать и вручную.

Все функции