Question

用卡诺图法化简以下逻辑函数 

Y=AB'+A'C+BC+C'D（b`就是b非）

Answer 1

y=b'cd+bc'+a'c'd+ab'd

每一项4元变量都对应ABCD,1或0，有非 ' 号的为0，缺少对元的用x代替，表示0或1两项

那么以上四项分别对应：x011 x10x  0x01 10x1

x011, x=1,即1011，十进制即11；x=0,即0011，十进制即是3；

x10x有2个x，则对应4个最小项：0100,0101,1100,1101，十进制即：4,5,12,13

同样地，0x01对应十进制1和5， 10x1对应9和11

共有：11，3，4，5，12，13，1，5，9，11

排序去重后，得最小项：1，3，4，5，9，11，12，13

画图，填上以上8个最小项，画圈，得答案：y=bc'+b'd+c'd（对应3个红圈）