Vous êtes sur la page 1sur 17

Lgica Digital

LgicaDigital

2013
TransversaldeProgramacinBsica
ProyectoCurriculardeIngenieradeSistemas

Lgica Digital

La lgica es una disciplina que estudia la estructura, el fundamento y el uso de las


expresiones del lenguaje humano. Se usa en el diario vivir y una de sus principales
tareasesladeproporcionarlasreglaspormediodelascualessepuededeterminar
cuandounrazonamientooargumentoesvlido.Otroejemplodondelalgicajuega
unpapelfundamentaleseneldiseodecircuitosdigitales.Tambinesfundamental
enmatemticasyensusdemostraciones

Proposiciones

Unaproposicinesunenunciadoounaoracinquepuedeserfalsaoverdaderapero
no ambas a la vez. Una proposicin es verificable, por ende, es un elemento
fundamentaldelalgicamatemticaydelalgicadigital.

A continuacin se tienen algunos ejemplos de enunciados que son proposiciones y


algunosquenoloson,seexplicaelporqualgunosdeestosenunciadosnoson,como
tal,proposiciones.Lasproposicionesseindicanpormediodeunaletraminscula,dos
puntosylaproposicinpropiamentedicha.Porejemplo.

p:Latierraesplana.
q:12+28=21
r:x>y+1
s:ElCortuluasercampenenlapresentetemporadadeFtbolcolombiano.
t:HolaQutal?
v:BogoteslacapitaldeColombia
w:Lavaelcoche,porfavor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo
tantosonproposicionesvalidas.Elincisortambinesunaproposicinvalida,aunque
el valor de falso o verdadero depende del valor asignado a las variables x y y en
determinadomomentoyvesunaproposicinverdadera.Laproposicindelincisos
tambinestaperfectamenteexpresadaaunqueparadecirsiesfalsaoverdaderase
tendra que esperar a que terminara la temporada de ftbol. Sin embargo los
enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o
verdadero,unodeellosesunsaludoyelotroesunaorden

Oracionesquesonproposiciones:
a. Elsemforoestverde.
b. Losautospuedenavanzar.
c. Hoyes17demarzo.
d. Hoyesjueves.
e. 4esunnmeropar.

Oracionesquenosonproposiciones:
a. Detngase.

Lgica Digital

b. Quienviene?
c. Esdivertidoestecurso?
d. Six2=9entoncesx=3

ConectoresLgicosYProposicionesCompuestas

Las proposiciones anteriores son todas, proposiciones simples. Para obtener


proposicionescompuestassedebenligarocombinarmsdeunaproposicinsimple.
Existen conectores u operadores lgicos que permiten formar proposiciones
compuestas(formadasporvariasproposicionessimples).

Lasproposicionescompuestassondealgunosdelostrestipossiguientes:

Definicin1
Una proposicin compuesta es una ley lgica o tautolgica si es verdadera
independientemente de los valores de verdad que se asignen a las proposiciones
simplesquelacomponen.Esdecirqueunaleylgicaotautologaesunaproposicin
queesverdaderaencualquiercircunstancia.

Definicin2
Unaproposicincompuestaesunacontradiccinsiesfalsaindependientementede
losvaloresdeverdadqueseasignenalasproposicionessimplesquelacomponen.Es
decirqueesfalsaencualquiercircunstancia.

Definicin3
Una proposicin compuesta es contingencia si no es una tautologa ni una
contradiccin.

Una tabla de verdad muestra los valores de verdad de una proposicin compuesta
paratodoslosposiblescasos,deverdadofalsedad,delasproposicionessimples.En
ellenguajecoloquialunamismaexpresinpuededarsededistintasformas.Enlgica
dosproposicionescompuestassonlgicamenteequivalentessitienenigualvalorde
verdad, para el mismo juego de verdades de las proposiciones simples que la
componen.Formalmente,

Definicin4
Dosproposicionespyqsonlgicamenteequivalentes,lodenotamospq;sitienen
lamismatabladeverdad.
Definicin5
Lanegacindelaproposicinp,eslaproposicin~p(seleenop)queesverdadera
cuandopesfalsa,yesfalsacuandopesverdadera

Lgica Digital

Los operadores o conectores bsicos son: y, o, no, no o, no y, o exclusiva, no o


exclusiva.

a. Operadorand(y)OperacinConjuncin

Seutilizaparaconectardosproposicionesquesedebencumplir(serverdaderas)para
que se pueda obtener un resultado verdadero. Su smbolo es: { , un punto (.), un
parntesis, o tambin, }. Se le conoce como la multiplicacin lgica (en la
matemticabooleana):

Algunosejemplosson:

1. La proposicin "El coche enciende cuando tiene gasolina en el tanque y tiene


corrientelabatera"estformadapordosproposicionessimples:qyr

q:Tienegasolinaeltanque.
r:Tienecorrientelabatera.

Conp:Elcocheenciende.

Detalmaneraquelarepresentacindelenunciadoanteriorusandosimbologalgica
escomosigue:

p=qr

Sutabladeverdadescomosigue:

q
r
p=qr
1
1
0
0

1
0
1
0

1
0
0
0

Donde;
1=verdadero0=falso

En la tabla anterior el valor de q = 1 significa que el tanque tiene gasolina, r = 1


significa que la batera tiene corriente y p = q r = 1 significa que el coche puede
encender.Sepuedenotarquesiqorvalenceroimplicaqueelautonotienegasolina
onotienecorrientelabaterayque,porlotanto,elcarronopuedeencender.

2. La ciudad x est en Francia y es su capital es una proposicin compuesta por las


proposicionessimples:

Lgica Digital

p:LaciudadxestenFrancia.Quesverdaderasoloparatodaslasciudadesxque
estnenFranciadelocontrarioserfalsay,

r:LaciudadxescapitaldeFrancia.QuesverdaderasolosixesParisdelocontrario
serfalsa

Con ello la proposicin compuesta q: p r ser verdadera solo si x es Paris, de lo


contrarioserfalsa,comolomuestralatabalcorrespondiente.

p
r
q=pr
1

El operador y en la teora de conjuntos equivale a la operacin de interseccin, por


elloselepuederepresentarcomolomuestralafigurasiguiente:

Tambintienerepresentacin circuital coninterruptores,comoaparece enla figura


siguiente.Silosdosinterruptoresestncerrados(indicandoverdaderoo"1"lgico)la
lmparaseenciendedelocontrariono.

Circuito con interruptores que representa la funcin lgica


Conjuncin (AND) p r

Lgica Digital

b. OperadorOr(o)OperacinDisyuncin

Con este operador se obtiene un resultado verdadero cuando alguna de las


proposicionesesverdadera.Seindicapormediodelossiguientessmbolos:{,+,}.
Se conoce como la suma lgica en el lgebra Booleana. En trminos literales se
comportacomoy/o.Porejemplo:

1.Seaelsiguienteenunciado"Unapersonapuedeentraralcinesicomprasuboletou
obtieneunpase".Donde.

p:Entraalcine.
q:Comprasuboleto.
r:Obtieneunpase.

Laproposicincompuestaesp:qvrylatabladeverdadrepresentativaes:

.q
.r
.p:qr
1

La nica manera en la que no puede ingresar al cine (p = 0), es que no compre su


boleto(q=0)yque,adems,noobtengaunpase(r=0).

2.Conlaproposicin

m:IralestadiosijuegaSantafomeinvitan
Compuestaporlasproposiciones:
p:JuegaSantaF
q:Meinvitanalestadio

Seobtienelaproposicincompuestacuyanotacines:
.m:pvq
Latabladeverdadcorrespondientees:

.p
.q
.m:pq
1

Lgica Digital

EncualquiercasolaoperacinORoladisyuncinseasimilaalaoperacinUnin
entreconjuntos,porelloendiagramadeVennserepresenta,as

DiagramadeVenndeunaDisyuncinpnq

Yencircuitodeconmutacin,as:

Representacincircuitaldeunadisyuncin(OR)pvq

Detalsuertequeessuficienteconqueunodelosdosinterruptoresestecerradopara
obtenerun"1"lgico,esdecir,quelalmparaencienda.

c. OperadorNot(no)Operacinnegacin

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es


verdadera y se le aplica el operador not se obtendr su complemento o negacin
(falso). Este operador se indica por medio de los siguientes smbolos: {, , }. Por
Ejemplo.

1.Teniendolaproposicin:
p:LacapitaldeFranciaesParis(p=1),
sunegacinser:
p:noeslacapitaldeFranciaParis(p=0)

2.Para
p:2x4=6(p=0)
p:2x46(p=1)

Lgica Digital

Con1verdaderoy0falso.

Tambin,tieneexpresinenlateoradeconjuntosyeseldenominadocomplemento,
cuyodiagramadeVennes:

DiagramadeVennOperadornotNegacin

Entrminosdecircuitosurepresentacinser,comoapareceenlafigurasiguiente,
Cuandosecierrap("1"lgico)elledseapaga(falsoo"0"lgico)ysipseabre("0"
lgico)elledseenciende(verdaderoo"1"lgico).

Representacincircuitaldeunanegacin(NOT)p

d. LaOexclusiva(Disyuncinexclusiva)

Eseloperadorqueconectadosproposicionesenelsentidoestrictodela"o"literal,o
esblancooesnegro;esonoes.

EloperadorsedenominaXOR,cuyofuncionamientoessemejantealoperadororcon
ladiferenciaenquesuresultadoesverdaderosolamentesiunadelasproposiciones
es cierta, cuando ambas son verdaderas el resultado es falso, igual si las dos son
falsas.Senotacomo.Algunosejemplosson:

1.r:Antoniocantaosilva

Laproposicinestcompuestaporlasproposiciones
p:AntonioCanta
yq:Antoniosilva

Lgica Digital

Sunotacines:p:rq

Ysutabladeverdadser:
.p

.q

.r=pq

LaXORodisyuncinexclusivaseasimilaalaoperacinUninexclusivaentre
conjuntos,porelloendiagramadeVennserepresenta,as

.pq
DiagramadeVenndeunaDisyuncinexclusiva(XOR)

Yencircuitodeconmutacin,as:

RepresentacincircuitaldeunadisyuncinexclusivaXORpq
Elledserencendidosilosinterruptoresestnenposicionescontrariasdecualquier
otraformaseconservaraapagado("o"lgico)

e. Combinacionesconnegadora.

Conayudadeestosoperadoresbsicossepuedenformarlosoperadorescompuestos
Nand(combinacindelosoperadoresNotyAnd),Nor(combinaoperadoresNotyOr)
yXnor(resultadodeXoryNot).

OperadorNANDConjuncinnegada

Lgica Digital

Seutilizaparaconectardosproposicionesquesedebencumplir(serverdaderas)para
que se pueda obtener un resultado falso, en cualquier otro caso la proposicin
compuestaesverdadera.Susmboloes:{(),(.),()}.

Detalmaneraquelarepresentacindeunaproposicinquedacomosigue:

p=(qr)

Cuyatabladeverdadescomplementecontrariaalaconjuncin

.q
.r
p=(qr)
1

Donde:1=verdadero0=falso

Eloperadorynegadoenlateoradeconjuntosequivalealaoperacinde
interseccincomplementada,porelloselepuederepresentarendiagramadeVenn
comolomuestralafigura:

(qr)
El conector NAND tambin tiene representacin circuital con interruptores, como
apareceenlafigura.Silosdosinterruptoresestncerrados(indicandoverdaderoo
"1"lgico)elledseapaga("0"lgico)delocontrarioestencendida("1"lgico).Su
comportamientoescompletamentecontrarioalaconjuncin.

10

Lgica Digital

Circuitoconinterruptoresquerepresenta
lafuncinlgicaConjuncin(NAND)(qr)

OperadorNORDisyuncinnegada

Es el Inverso de la disyuncin, por ello, se obtiene con este operador un resultado


verdaderoenelnicocasoqueseobtenafalsoenladisyuncin,esdecir,cuandolas
proposicionessonfalsas.Encualquierotrocasodaunresultadofalso.Seleindicapor
medio de los siguientes smbolos: {( ), (+), ( )}. Se conoce como la suma lgica
inversaenellgebraBooleana.

Laproposicincompuestaes

r:(pq)

ylatabladeverdadrepresentativaes:

.p .q
.r=(pq)
1

EncualquiercasolaoperacinNORoladisyuncinnegadaseasimilaalaoperacin
Unin entre conjuntos, pero, complementada; por ello en diagrama de Venn se
representa como en la figura siguiente, donde se considera como resultado todo lo
queenladisyuncinnoloera,as

11

Lgica Digital

DiagramadeVenndeunaDisyuncinnegada

Elcircuitodeconmutacinquedacomoenlafigurasiguiente.

La nica forma en que se ACTIVE el led("1" lgico), es que ninguno de los


interruptoressecierre("1"lgico)elledseconservarAPAGADO("0"lgico.

Representacincircuitaldeunadisyuncinnegada(NOR)(pvq)

OperadorXNORDisyuncinexclusivanegada

Es el operador que niega al conector O exclusivo, as , que tan solo es verdadera la


proposicin compuesta s, o, bien, las dos son verdaderas o las dos son falsas(ms
adelanteveremosquetambinsedenominaequivalencia).

EloperadorsedenominaXNOR,Senotacomo,algunostambinlonotancomo().

Latabladeverdadser:

p
q
r=pq
1

La XNOR o disyuncin exclusiva se asimila a la operacin Unin exclusiva pero


complementada,porelloeldiagramadeVennserepresenta,as

12

Lgica Digital

DiagramadeVenndeunaDisyuncinexclusiva(XNOR)

Yencircuitodeconmutacin,as:

RepresentacincircuitaldeunadisyuncinexclusivaXNORpq

De manera que los dos interruptores en "1", o, los dos en "0" originan un estado
encendido"1"enelled;delocontrarioseconservaraapagado"0".

OtrosConectoresyoperacioneslgicas

a. Proposicionescondicionales.

Una proposicin condicional, es aquella que est formada por dos proposiciones
simples(ocompuesta)pyq.Lacualseindicadelasiguientemanera:

p=>qSelee"Sip,entonces,q"

Ejemplo.

El candidato administrativo dice "Si salgo electo Representante al CSU recibirn un


50%deaumentoensusueldoelprximoao".Unadeclaracincomoestaseconoce
comocondicional.Sutabladeverdadeslasiguiente:

Sean
p:SalgoelectoRepresentantealCSU.
q:Recibirnun50%deaumentoensusueldoelprximoao.

Detalmaneraqueelenunciadosepuedeexpresardelasiguientemanera:

13

Lgica Digital

p=>q

Sutabladeverdadquedadelasiguientemanera:

.p
.q
.p=>q
1

Lainterpretacindelosresultadosdelatablaeslasiguiente:

Considere que se desea analizar si el candidato al CSU minti con la afirmacin del
enunciadoanterior.

Cuando:
p=1;significaquesalielecto,
q=1recibieronunaumentodel50%ensusueldo,

Porlotantop=>q=1;significaqueelcandidatodijolaverdadensucampaa.

Cuando
p=1yq=0significaquep=>q=0;elcandidatominti,yaquesalielectoynose
incrementaronlossalarios.

Cuando
p = 0 y q = 1 significa que aunque no sali electo hubo un aumento del 50% en su
salario, que posiblemente fue ajeno al candidato al CSU y por lo tanto; tampoco
mintidetalformaquelaproposicinp=>q=1.

Cuando
p=0yq=0significaqueaunquenosalielecto,tampocosediounaumentodel50%
ensusalario,queposiblementefueajenoalcandidatoalCSUyporlotanto;tampoco
mintidetalformaquelaproposicinp=>q=1.

b. Proposicinbicondicional.
Seanpyqdosproposicionesentoncessepuedeindicarlaproposicinbicondicional
delasiguientemanera:

p<=>qSelee"p,sisolosi,q"

14

Lgica Digital

Estosignificaquepesverdaderasiysolosiqestambinverdadera.Obienpesfalsa
si y solo si q tambin lo es. Por Ejemplo; el enunciado siguiente es una proposicin
bicondicional

"Esbuenestudiante,siysolosi;tienepromediodecinco"

Donde:

p:Esbuenestudiante.
q:Tienepromediodecinco.
Porlotantosutabladeverdades.

p
.q
p<=>q
1

Laproposicincondicionalsolamenteesverdaderasitantopcomoqsonfalsasobien
ambasverdaderas.EslamismaDisyuncinexclusivainversaonegada(XNOR).

TablasdeVerdad

Estas tablas pueden construirse haciendo una interpretacin de los operadores


lgicos respectivamente. La interpretacin corresponde al sentido que estas
operacionestienendentrodelrazonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la
deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un
mtododedecisinparachequearsiunaproposicinesonounteorema.
Paralaconstruccindelatablaseasignarelvalor1(uno)aunaproposicinciertay0
(cero)aunaproposicinfalsa.

15

Lgica Digital

Enlasiguientetablamostramoslasleyeslgicasotautologasmsusadasenel
clculoproposicional:

16

Lgica Digital

17

LecturadeProfundizacin:
http://logicadigital.blogspot.com/
http://www.itchetumal.edu.mx/paginasvar/Maestros/mduran/Archivos/Unidad%
202%20Logica.pdf

Imgenes
Lasimgenesfuerontomadasdewww.google.com

Fuentes:

http://algebra.materia.unsl.edu.ar/Teorias/Logica2011.pdf
http://200.69.103.48/comunidad/profesores/jruiz/jairocd/texto/capitulodos.htm
http://docencia.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html
http://algebra.materia.unsl.edu.ar/Teorias/Logica2011.pdf
http://es.wikipedia.org/wiki/Tabla_de_verdad