Comencemos etiquetando algunos bits del diagrama para una referencia fácil:
Ahorapodemosdefinirquésignificanlasdiferentesetiquetas.
- AesALTOsialgunodeA8-A15esALTO.
- BnoesA
- CesALTOsiBoE(queesA15)esALTO
- DesALTOsiBesALTOyENOESALTO.
- E(comolomencioné)esA15.
Ahorapodemoshaceralgunasexpresionesbooleanas:
- A=A8+A9+A10+A11+A12+A13+A14+A15
- B=¬A
- C=B+E
- D=B+¬E
Expandido:
DadoqueCSsiempreestáactivoBAJO,estáinteresadoenlosvaloresFALSOSdeesasexpresiones,losvaloresquehacenquelaexpresióndécomoresultadounarespuestaFALSA.
Entonces,sialgunodeA8-A15esverdadero,entoncesAdebeserverdadero,porlotanto,paraqueAseafalso,NINGUNOdeA8aA15puedeserALTO.Entonces,AseráBAJOparaelrangodedirecciones0b00000000XXXXXXXX(o0x0000-0x00FF)
SiBoEsonverdaderas,entoncesCesverdadera.Porlotanto,ByEtienenqueserfalsosparaqueCseafalso.EesA15,porloqueahorasabemosqueA15debeestarBAJOparagarantizarqueCpuedaserfalso.Atienequeserverdadero,yaqueestánegadoparaformarB.Porlotanto,unodeA8-A14debeseraltoparaqueAseaverdaderoy,porlotanto,B,falso.
Esonosllevaaladirección0b0YYYYYYYXXXXXXXXdondealmenosunodeYdebeseraltoynonosimportaX.Esdecir,entre0b00000001XXXXXXXXy0b01111111XXXXXXX,oenhexadecimal:0x0100a0x7FFF.
DeslomismoqueC,exceptoporelhechodequeEestáinvertida.EsosignificaqueA15debeserALTOparaqueDpuedaserfalso.ComoA15esalto,tenemoslaposibilidaddeestablecerA8-A14bajoyseguirsiendoválidosparaesterango.Entoncesobtenemos0b1YYYYYYYXXXXXXX,o0b10000000XXXXXXXXa0b1111111111XXXXXXXX,oenhexadecimal:0x8000a0xFFFF.
Paraponeresosrangosdedireccionesencontextoconstruyamosunmapadememoriacompleto: