Метод побудови блоків монотонних бульових функцій

Анотація

Розроблено метод побудови блоків монотонних бульових фнкцій (МБФ) для класифікації та аналізу цих функцій, на прикладі функцій з малою кількістю змінних. Цей метод є складовою частиною методу синтезу надійних цифрових схем на базі МБФ. Проведено порівняння цього методу з методом класифікації МБФ на типи. Розглянуто застосування методу побудови блоків на прикладі класифікації та аналізу МБФ від малого числа змінних. Доведено, що матриця розподілення типів МБФ R і матриця розподілення максимальних типів МБФ М довільного рангу n знаходяться з матриці (1) розмірності 1х1.