用【卡诺图】化简下列逻辑函数
1.F(A,B,C,D)=B C非 D + A B非 C非 D,其中C+D=0不可能出现.
BC’D=∑m(5,13)
AB’C’D=∑m(9)
C=∑d(2,3,6,7,10,11,14,15)
D=∑d(1,3,5,7,9,11,13,15)
∴F(A,B,C,D)= ∑m(5,13)+∑m(9)+∑d(1,3,7,11,15)=D,它们的约束条件都为：C+D=0
其中C+D=0不可能出现,表示为约束条件,在化简逻辑函数时,合理地圈入一些约束项,可以使逻辑函数变得更加简单.
2.F(A,B,C,D)=B(AD非+A非D)+C非（A非D非+AD）+BC非
ABD'=∑m(12,14)
A'BD=∑m(5,7)
A'C'D'=∑m(0,4)
AC'D=∑m(9,13)
BC'=∑m(4,5,12,13)
F(A,B,C,D)= =ABD'+A'BD+A'C'D'+AC'D+BC'
=∑m(0,4)+∑m(5,7)+∑m(12,14)+∑m(9,13)
= A'C'D'+ A'BD+ ABD'+ AC'D