В докладе решается задача формирования логической функции по неполной таблице истинности (та же задача при полной таблице истинности не вызывает затруднений). Для решения поставленной задачи предлагается использовать логические деревья. Полагается, что структура, генерирующая двоичную функцию — дерево, корнем которого является результат, а листьями — входные параметры и инвертированные их копии. На основе выбранной структуры предлагается алгоритм формирования логической функции по неполной таблице истинности. Алгоритм, как правило, состоит из нескольких уровней, каждый из которых опирается на результаты предыдущего уровня и, возможно, дополнительные условия.