可求和布尔函数的性质

可求和布尔函数是临界布尔函数判定理论中比较重要的内容之一。该类函数有一个参数k,k表示布尔函数存在k个成真点X^1,X^2,…X^k和k个成假点Y^1,Y^2,…Y^k,并且它们的和相等。本文主要研究了n元2-可求和布尔函数和n元3-可求和布尔函数的基本性质。