Логический конвертер
Последовательно нажимаем Simulate => Instruments => Logic Converter, появится следующее изображение компонента:

Чтобы открыть свойства компонента нужно дважды щекнуть по нему левой кнопкой мыши

1 - получение таблици истинность исследуемого преобразователя
2 - получение булева выражения, реализуемого устройством
3 - получение минимизированного булева выражения
4 - преобразование булева выражения в таблицу истинности
5 - получение схемы устройства на логических элементах без ограничения их типа
6 - получение схемы устройства на логических элементах И-НЕ
7 - окно для ввода булева выражения
Пример использования:
Задание: Упростить выражение и реализовать логическое устройство на элементах И-НЕ
Решение:
Вводим данное выражение в форму. Выражение будет выглядеть так: ((A+BC)'A'C)'

Определяем таблицу истинности выражения путем нажатия на кнопку 
Для упрощения выражения нажимаем на 

Моделируем схему. Нажимаем 
Получаем

|