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

Предлагается метод нахождения декомпозиции булевых функций, позволяющий аналитически решать задачи: определение возможности декомпозиции функции; разбиение множества входных переменных на подмножества; нахождение по полученному разбиению подфункций, декомпозирующих исходную функцию. Метод иллюстрируется примерами.