Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LgicaDigital
2013
TransversaldeProgramacinBsica
ProyectoCurriculardeIngenieradeSistemas
Lgica Digital
Proposiciones
Unaproposicinesunenunciadoounaoracinquepuedeserfalsaoverdaderapero
no ambas a la vez. Una proposicin es verificable, por ende, es un elemento
fundamentaldelalgicamatemticaydelalgicadigital.
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
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
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:
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
Lgica Digital
p:LaciudadxestenFrancia.Quesverdaderasoloparatodaslasciudadesxque
estnenFranciadelocontrarioserfalsay,
r:LaciudadxescapitaldeFrancia.QuesverdaderasolosixesParisdelocontrario
serfalsa
p
r
q=pr
1
Lgica Digital
b. OperadorOr(o)OperacinDisyuncin
1.Seaelsiguienteenunciado"Unapersonapuedeentraralcinesicomprasuboletou
obtieneunpase".Donde.
p:Entraalcine.
q:Comprasuboleto.
r:Obtieneunpase.
Laproposicincompuestaesp:qvrylatabladeverdadrepresentativaes:
.q
.r
.p:qr
1
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
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
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.
Representacincircuitaldeunadisyuncinnegada(NOR)(pvq)
OperadorXNORDisyuncinexclusivanegada
EloperadorsedenominaXNOR,Senotacomo,algunostambinlonotancomo().
Latabladeverdadser:
p
q
r=pq
1
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.
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
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