小编pra*_*hat的帖子

对于n个变量,存在2 ^(2 ^ n)个不同的布尔函数.例如,如果n = 2,则存在16种可能的布尔函数,这些函数可以以产品形式或和形式的乘积的总和来编写.可能的函数数量随n呈指数增长.

我正在寻找一种算法,它可以为n个变量生成所有这些可能的布尔规则.我试图在各个地方搜索,但到目前为止还没找到任何合适的地方.大多数算法都与将布尔函数简化或简化为标准形式有关.

我知道即使n = 8或9,规则的数量也会变得太大,但有人可以帮我解决相关的算法吗？