Взаємозв’язок між усіма типами та максимальними типами монотоннних булевих функцій

Анотація

Установлення взаємозв'язку між усіма типами і максимальними типами монотонних булевих функцій (МБФ) дозволяє прискорювати етап синтезу цифрових схем на основі МБФ, а також удосконалювати теорію булевих функцій. Уведені поняття лівого та правого доповнення типу МБФ. Виведені рекурентні формули для перелічування усіх типів довільного рангу (теорема 1). Доказані вирази у матричному вигляді для знаходження матриць розподілення усіх типів МБФ. Взаємно однозначне співвідношення між усіма типами рангу n та максимальними типами рангу n+1 доведено у теоремі 2.