设f（x y)=（x∧（α∨y))∨（x∧y)是布尔代数（{0 α β 1}；－ ∨ ∧)上由x y产生的一个布尔表达式 写出f（x y)的析取范式．
布尔,范式,代数
已帮助 人
设f(x，y)=(x∧(α∨y))∨(x∧y)是布尔代数({0，α，β，1}；-，∨，∧)上由x，y产生的一个布尔表达式，写出f(x，y)的析取范式．
热搜：x理论和y理论的主要观点
-
由布尔代数({0，α，β，1}；-，∨，∧)的哈斯图，如图C18所示，有
f(0，0)=(0∧(α∨0)∨(0∧0)=(0∧α)∨0=0∨0=0．
f(0，1)=1，f(1，0)=α，f(1，1)=1．
代入f(x，y)的析取范式展开定理，有
其中，U2={0，1，2，3}={00，01，10，11}，如f(2)=f(1，0)．所以
m2=m10=x∧￢y．
析取范式为 f(x，y)=(0∧￢x∧￢y)∨(1∧￢x∧y)∨(α∧x∧￢y)∨(1∧x∧y)．