Реализация булевых функций бесповторными формулами

Получена характеризация булевых функций, реализуемых бесповторными формулами в базисе $\{\cdot,\vee,\oplus,\bar{\space}\,\}$ и предложен алгоритм нахождения таких реализаций.