布尔函数的判定

任意给定有m个元素的集合A。设f是A~n→A的一个函数,它只能满足对任意的n-有序组(b_1,b_2,…,b_n)∈A~n、其中bi∈A(1in),就有唯一的f(b_1,b_2,…,b_n)∈A。显然,A~n→A的函数f,只要求f的定义域domf=A~n,且f值具有单值性。 设≤表示A上偏序关系,如果偏序集(A,≤)中任两个元素有唯一的最小上界和最大下界,称这个偏序集合为格。a∨b,a∧b分别表示元素a和b的最小上界和最大下界。