Для n переменных существует 2 ^ (2 ^ n) различных булевых функций. Например, если n = 2, то существует 16 возможных булевых функций, которые можно записать в виде суммы произведений или произведений форм сумм. Число возможных функций увеличивается экспоненциально с n.

Я ищу алгоритм, который может генерировать все эти возможные логические правила для n переменных. Я пытался искать в разных местах, но до сих пор не нашел ничего подходящего. Большинство алгоритмов связаны с упрощением или приведением логических функций к стандартным формам.

Я знаю, даже если число правил становится слишком большим даже для n = 8 или 9, но может ли кто-нибудь помочь мне с соответствующим алгоритмом, если он существует?