在数学中，有限布尔函数是如下形式的函数f : B → B，这里的B = {0, 1}是布尔域，而"k"是非负整数。在"k" = 0的情况下，函数简单的是B的一个恒定元素。更一般的说，形如"f" : "X" → B函数，这里的"X"是任意集合，是布尔值函数。如果"X" = M = {1, 2, 3, …}，则"f"是“二进制序列”，就是说0和1的无限序列。如果"X" = ["k"] = {1, 2, 3, …, "k"}，则"f"是长度为"k"的“二进制序列”有formula_1个这种函数。Se