Описано алгоритм ортогоналізації псевдотрійкових кон'юнктермів (кон'юнктивних термів) та декомпозиційних клонів булових функцій, що забезпечує оптимальний результатза критерієм складності реалізації )мінімуму загальної кількості літералів в остаточному результаті). Ефективність алгоритму проілюстровано прикладами функцій, заданих у класі ДНФ.

Відбір і обробка інформації [Текст] : міжвідомчий збірник наукових праць / НАНУ; Фізико-механічний ін-т ім. Г.В. Карпенка // Відбір і обробка інформації - Львів. — Львів, 2007.

• УДК // Алгоритми. Обчислювальні функції