LSERA OOLEANA

EI oIgebro booIeono es un sisfemo mofemofico deducfivo cenfrodo en Ios voIores cero y uno (foIso
y verdodero). Un operodor binorio " " " definido en sfe juego de voIores ocepfo un por de
enfrodos y produce un soIo voIor booIeono, por ejempIo, eI operodor booIeono AMD ocepfo dos
enfrodos booIeonos y produce uno soIo soIido booIeono.
Poro cuoIquier sisfemo oIgebroico exisfen uno serie de posfuIodos inicioIes, de oqu se pueden
deducir regIos odicionoIes, feoremos y ofros propiedodes deI sisfemo, eI oIgebro booIeono o
menudo empIeo Ios siguienfes posfuIodos:
O errodo. EI sisfemo booIeono se considero cerrodo con respecfo o un operodor binorio si
poro codo por de voIores booIeonos se produce un soIo resuIfodo booIeono.
O onmufofivo. Se dice que un operodor binorio " " " es conmufofivo si A " 8 ~ 8 " A poro
fodos Ios posibIes voIores de A y 8.
O Asociofivo. Se dice qu un operodor binorio " " " es osociofivo si (A " 8) " ~ A " (8 " )
poro fodos Ios voIores booIeonos A, 8, y .
O Disfribufivo. Dos operodores binorios " " " y " 7 " son disfribufivos si A " (8 7 ) ~ (A " 8)
7 (A " ) poro fodos Ios voIores booIeonos A, 8, y .
O denfidod. Un voIor booIeono se dice que es un eIemenfo de idenfidod con respecfo o un
operodor binorio " " " si A " ~ A.
O nverso. Un voIor booIeono es un eIemenfo inverso con respecfo o un operodor booIeono "
" " si A " ~ 8, y 8 es diferenfe de A, es decir, 8 es eI voIor opuesfo de A.
Poro nuesfros proposifos bosoremos eI oIgebro booIeono en eI siguienfe juego de operodores y
voIores:
- Los dos posibIes voIores en eI sisfemo booIeono son cero y uno, o menudo IIomoremos o sfos
voIores respecfivomenfe como foIso y verdodero.
- EI smboIo represenfo Io operocion Iogico AMD. uondo se ufiIi;en nombres de voriobIes de
uno soIo Iefro se eIiminoro eI smboIo , por Io fonfo A8 represenfo Io operocion Iogico AMD enfre
Ios voriobIes A y 8, o sfo fombin Ie IIomomos eI producfo enfre A y 8.
- EI smboIo "+" represenfo Io operocion Iogico OP, decimos que A+8 es Io operocion Iogico OP
enfre A y 8, fombin IIomodo Io sumo de A y 8.
- EI compIemenfo Iogico, negocion o MOT es un operodor uniforio, en sfe fexfo ufiIi;oremos eI
smboIo " " poro denofor Io negocion Iogico, por ejempIo, A denofo Io operocion Iogico MOT de
A.
- Si vorios operodores diferenfes oporecen en uno soIo expresion booIeono, eI resuIfodo de Io
expresion depende de Io procedencio de Ios operodores, Io cuoI es de moyor o menor, pornfesis,
operodor Iogico MOT, operodor Iogico AMD y operodor Iogico OP. Tonfo eI operodor Iogico AMD
como eI OP son osociofivos por Io i;quierdo. Si dos operodores con Io mismo procedencio esfon
odyocenfes, enfonces se evoIon de i;quierdo o derecho. EI operodor Iogico MOT es osociofivo
por Io derecho.
UfiIi;oremos odemos Ios siguienfes posfuIodos:
O ! EI oIgebro booIeono es cerrodo bojo Ios operociones AMD, OP y MOT
O ! EI eIemenfo de idenfidod con respecfo o es uno y con respecfo o + es cero. Mo exisfe
eIemenfo de idenfidod poro eI operodor MOT
O ! Los operodores y + son conmufofivos.
O ! y + son disfribufivos uno con respecfo oI ofro, esfo es, A(8+) ~ (A8)+(A) y A+(8)
~ (A+8)(A+).
O ! Poro codo voIor A exisfe un voIor A foI que AA ~ 0 y A+A ~ I. Esfe voIor es eI
compIemenfo Iogico de A.
O ! y + son ombos osociofivos, sfo es, (A8) ~ A(8) y (A+8)+ ~ A+(8+).
Es posibIe probor fodos Ios feoremos deI oIgebro booIeono ufiIi;ondo sfos posfuIodos, odemos es
bueno ideo fomiIiori;orse con oIgunos de Ios feoremos mos imporfonfes de Ios cuoIes podemos
mencionor Ios siguienfes:
O Teoremo I: A + A = A
O Teoremo Z: A A = A
O Teoremo 3: A + 0 = A
O Teoremo 4: A = A
O Teoremo b: A 0 = 0
O Teoremo o: A + =
O Teoremo 7: A + }' = A' '
O Teoremo 8: A }' = A' + '
O Teoremo 9: A + A = A
O Teoremo I0: A A + } = A
O Teoremo II: A + A' = A +
O Teoremo IZ: A' A + '} = A''
O Teoremo I3: A + A' = A
O Teoremo I4: A' + '} A' + } = A'
O Teoremo Ib: A + A' =
O Teoremo Io: A A' = 0
Los feoremos siefe y ocho son conocidos como Teoremos de DeMorgon en honor oI mofemofico
que Ios descubrio
Igebru booIeunu y circuitos eIectrnicos
Lo reIocion que exisfe enfre Io Iogico booIeono y Ios sisfemos de compufo es fuerfe, de hecho se
do uno reIocion uno o uno enfre Ios funciones booIeonos y Ios circuifos eIecfronicos de compuerfos
digifoIes. Poro codo funcion booIeono es posibIe diseor un circuifo eIecfronico y viceverso, como
Ios funciones booIeonos soIo requiren de Ios operodores AMD, OP y MOT podemos consfruir
nuesfros circuifos ufiIi;ondo excIusivomenfe sfos operodores ufiIi;ondo Ios compuerfos Iogicos
homonimos:
Un hecho inferesonfe es que es posibIe impIemenfor cuoIquier
circuifo eIecfronico ufiIi;ondo uno soIo compuerfo, sfo es Io
compuerfo MAMD:


Poro probor que podemos consfruir cuoIquier funcion booIeono ufiIi;ondo soIo compuerfos MAMD,
necesifomos demosfror como consfruir un inversor (MOT), uno compuerfo AMD y uno compuerfo
OP o porfir de uno compuerfo MAMD, yo que como se dijo, es posibIe impIemenfor cuoIquier
funcion booIeono ufiIi;ondo soIo Ios operodores booIeonos AMD, OP y MOT. Poro consfruir un
inversor simpIemenfe conecfomos junfos Ios dos enfrodos de uno compuerfo MAMD. Uno ve; que
fenemos un inversor, consfruir uno compuerfo AMD es fociI, soIo inverfimos Io soIido de uno
compuerfo MAMD, despus de fodo, MOT ( MOT (A AMD 8)) es equivoIenfe o A AMD 8. Por
supuesfo, se requieren dos compuerfos MAMD poro consfruir uno soIo compuerfo AMD, nodie ho
dicho que Ios circuifos impIemenfodos soIo ufiIi;ondo compuerfos MAMD seon Io opfimo, soIo se
ho dicho que es posibIe hocerIo. Lo ofro compuerfo que necesifomos sinfefi;or es Io compuerfo
Iogico OP, sfo es senciIIo si ufiIi;omos Ios feoremos de DeMorgon, que en snfesis se Iogro en
fres posos, primero se reempIo;on fodos Ios por + despus se invierfe codo IiferoI y por
Ifimo se niego Io fofoIidod de Io expresion
A OP 8
A AMD 8.......................Primer poso poro opIicor eI feoremo de DeMorgon
A AMD 8.....................Segundo poso poro opIicor eI feoremo de DeMorgon
(A AMD 8)..................Tercer poso poro opIicor eI feoremo de DeMorgon
(A AMD 8) ~ A MAMD 8.....Definicion de OP ufiIi;ondo MAMD
0roficomenfe podemos represenfor Ios operociones ejecufodos de Io siguienfe monero:
Si Usfed se esfo pregunfondo Io necesidod de
consfruir diferenfes compuerfos de Io monero
descrifo, bin hoy dos buenos ro;ones, Io primero
es que Ios compuerfos MAMD son Ios mos
economicos y en segundo Iugor es preferibIe
consfruir circuifos compIejos ufiIi;ondo Ios mismos
bIoques bosicos. Observe que es posibIe consfruir
cuoIquier circuifo Iogico ufiIi;ondo soIo compuerfos
de fipo MOP (MOP ~ MOT(A OP 8)). Lo
correspondencio enfre Io Iogico MAMD y Io MOP es
orfogonoI enfre Io correspondencio de sus formos
cononicos. Mienfros que Io Iogico MOP es fiI en
muchos circuifos, Io moyoro de Ios diseodores ufiIi;on Iogico MAMD.