Главное окно.

Ввод булевой функции.

Ввод булевой функции возможен 4 разными способами.
Переключение производится с помощью списка на левой панели. Заполнение таблицы истиности и карты Карно возможно нулями, единицами и случайным образом в меню Информация.

Символьный ввод.

Позволяет ввести символьную математическую запись.
Ввод производится только на англоязычной раскладке клавиатуры. Набор символов доступных для ввода ограничен. Переменные функции нумеруются и записываются слудующим образом: x1 x2 x3 x4 ... x20. Максимально доступное количество переменных при использовании интерфейса - 20 (если Вам необходимо провести минимизацию функций с большим количеством переменных обратитесь к описанию ядра программного комплекса Karno). В символьной записи функции допускается использование вложенных скобок. Отрицание вложенных структур не допускается.
Поддерживается несколько синтаксисов.
Предопределённые слова:

1. and - логическое умножение
   or - логическое сложение
   not - логическое отрицание
   
   
2. || - логическое умножение
   && - логическое сложение
   ! - логическое отрицание

Возможно смешивание наборов предопределённых слов.

Примеры:
x1 and not x2 or x3
!x1 && ( x2 || !x3 ) || x4
not x5 && ( x3 and ( x2 || x1 ) or !x4 )

Таблица истиности.

Таблица с всевозможными наборами для данного количества переменных.
Ячейки с значениями перменных не защищены от редактирования! Однако эти значения используются процедурами расчёта, поэтому реккомендуется не изменять значения этих ячеек. В последующих версиях это будет исправлено. Значения функции (проставляются в втором столбце) могут принимать значения 0 или 1.

Карта Карно.

Основная структура для работы метода Закревского.
В ячейках позволяется настраиваемыми символами обозначать наличие точки.

Тождественные значения (Истина).

Список двоичных наборов функции, на которых она принимает значения 1.
Для добавления двоичного набора необходимо ввести двоичный набор в поле ввода и нажать <Enter>. Для удаления двоичного набора из списка необходимо выделить его во списке и нажать кнопку Удалить (рядом с полем ввода).

Мнимизация булевой функции.

Во время минимизации функции на экране отображается окно с надписью "Ждите окончания процесса. Идёт работа...". Убрать его нельзя. Оно исчезнет после минимизации функции.

Возврат результатов.

Минимизированная функция возвращается в символьном виде в текстовое поле доступное только для чтения внизу окна программы. В однной строке находится 3-4 коньюнкции. Последние разделены ключевым словом OR, слово AND пропущено для повышения восприятия. Отрицание обозначается словом NOT.

Подсчёт соседей.

После заполения карты Карно возможен подсчёт количества соседей каждой точки в меню "Информация". Указывается в скобках в каждой ячейке.

Построение максимальных интервалов.

После заполения карты Карно возможно построение максимальных интервалов для некоторой точки. Для этого необходимо перейти в режим "Просмотра интервалов". Переключение режимов "Ввод данных" или "Просмотр интервалов" возможно в меню Настройка - Параметры. После перехода в режим "Просмотра интервалов" необходимо кликнуть на нужной точке и дождаться результатов (никаких сообщений при этом не отображается).

Настройка.

В процессе написания программы использовалась библиотека интерфейса Qt, то это позволило использовать несколько стилей внешнего вида программы. Все стили позаимствованы из UNIX систем.

Символы для отображения наличия точки в карте Карно или отсутствия таковой и символы для выделения точек входящих в интервал являются настраиваемые в разделе "Карта Карно".

Минимизация булевых функций.

Собственно минимизация фукнции производится ядром программного комплекса Karno. Во время процесса минимизации на экране высвечивается индикатор завершённости процесса.