Разработан метод синтеза булевых формул, предназначаемый для эффективного построения схем из функциональных элементов, в том числе и для схем минимальной сложности. При этом определены верхние оценки сложности реализации произвольных булевых функций в базисе Жегалкина. Для уточнения полученных оценок предлагается вычислительный метод. Также рекомендуется метод вывода некоторых счетных классов булевых функций минимальной сложности.
