Scribd
Cargar
530 vistas3 páginas

Ejercicios Resueltos de Lógica Proposicional

Este documento presenta 4 problemas de lógica proposicional y sus soluciones. El primer problema involucra simplificar una expresión usando leyes de álgebra proposicional. El segundo determina el valor de una variable para que una expresión sea verdadera. El tercero encuentra una proposición equivalente a un circuito lógico dado. El cuarto evalúa expresiones dadas una premisa como verdadera.

Cargado por

Juan Gabriel
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
530 vistas3 páginas

Ejercicios Resueltos de Lógica Proposicional

Este documento presenta 4 problemas de lógica proposicional y sus soluciones. El primer problema involucra simplificar una expresión usando leyes de álgebra proposicional. El segundo determina el valor de una variable para que una expresión sea verdadera. El tercero encuentra una proposición equivalente a un circuito lógico dado. El cuarto evalúa expresiones dadas una premisa como verdadera.

Cargado por

Juan Gabriel
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

AUX.

: Chambi Villalobos Arturo


MAT-100
GRUPO –E
SIMLIFICACION Y CIRCUITOS LOGICOS
1. Simplificar ,( ) ( )- ,( ) ( )-, usando leyes
del algebra de proposiciones.

Solución:

Primeramente se debe representar los conectivos especiales ( )


en función de los tres conectivos básicos ( ):

,( ) ( )- ,( ) ( )-

,( ( ) ) ( )- ,( ) ( )-……..def. De implicación

,( ) ( )- ,( ) ( )-…ley de negación D’Morgan prop.


Conmutativa

,(( ) )- , ( )-….prop. Distributiva.

,( )- , -…ley del complemento (negación)

… ley de identidad

….ley de idempotencia

Por tanto:

,( ) ( )- ,( ) ( )-

2. Determinar el valor de x tal que: ( )


Solución:
( )

(( ) ( )) .. Definición de implicación y doble implicación

( ( )) ( ) .. prop. Asociativa

( ) …ley de absorción

( ) ( ) .. prop. Distributiva

( ) … ley del complemento (negación)


( ) …ley de identidad

..prop. Conmutativa

Comparando:

Por tanto:

3. Determinar una proposición x, la más simple de manera que el circuito lógico


siguiente:

Es equivalente a ~p v q

Solución:

La proposición equivalente es:

*,( ) ( ) - , ( ) ( )-+ ,( ) -

Simplificando:

*,(( ) ( )) - ,( ( )) ( )-+ ,( ) -..prop. Asociativa

*, - , -+ ,( ) -.. ley de Absorción

*( ) + ,( ) - .. prop. Distributiva

* + ,( ) - .. ley del complemento

,( ) -…ley de identidad

, ( )- ( ) .. prop. Distributiva

( ).. .. ley de Absorción

….. ley de Absorción

Por tanto: ..
.. ley de D’Morgan

4. Sean q y s proposiciones cualesquiera, p y r tales que ( ) es


verdadera. Hallar el valor de verdad de las proposiciones siguientes:
a) ( ) ( )
b) ,( ) ( )- ( )

Solución:

Si: ( )

( )

a) ( ) ( ) ( ) ( )

( ) ( ).. Ley de identidad

..

Por tanto: ( ) ( )

b) ,( ) ( )- ( )
Reemplazando: ,( ) ( )- ( )
Simplificando: ,( ) ( )- ( ) .. ley de identidad
: ( ) .. def. De implicación

( ).. def. De implicación

( )..

… ley de identidad

Por tanto: ,( ) ( )- ( )

También podría gustarte