Notation
Don't cares in canonical forms
- Three distinct logical sets: {on}, {off}, {don’t care}
- Need at least two of the sets to completely specify the function
Canonical representations of the BCD incrementer:
- Minterm expansion
- W = m7+m8+d10+d11+d12+d13+d14+d15
- Maxterm expansion
- W = M0•M1•M2•M3•M4•M5•M6•M9•D10•D11•D12•D13•D14•D15