Scribd
Cargar
49 vistas4 páginas

Tablas de Verdad y Simplificaciones Lógicas

Este documento presenta un trabajo práctico de lógica y álgebra discreta para la Facultad de Ciencias Exactas y Tecnología de la Universidad Nacional de Tucumán. El trabajo práctico incluye construir tablas de verdad para expresiones lógicas, determinar si son tautologías, contradicciones o indefiniciones, transformar expresiones entre conectivas lógicas equivalentes, y demostrar equivalencias lógicas utilizando leyes formales.

Cargado por

Carl C
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
49 vistas4 páginas

Tablas de Verdad y Simplificaciones Lógicas

Este documento presenta un trabajo práctico de lógica y álgebra discreta para la Facultad de Ciencias Exactas y Tecnología de la Universidad Nacional de Tucumán. El trabajo práctico incluye construir tablas de verdad para expresiones lógicas, determinar si son tautologías, contradicciones o indefiniciones, transformar expresiones entre conectivas lógicas equivalentes, y demostrar equivalencias lógicas utilizando leyes formales.

Cargado por

Carl C
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

UNIVERSIDAD NACIONAL DE TUCUMÁN

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍA


DEPARTAMENTO DE ELÉCTRICA, ELECTRÓNICA Y COMPUTACIÓN
LÓGICA Y ÁLGEBRA DISCRETA - MODULO V (COMPUTACIÓN)
________________________________________________________________________________________________

TRABAJO PRACTICO Nº2


AÑO 2023

1.- Construir la tabla de verdad para cada una de las siguientes expresiones bien formadas
lógicas siguientes:

(a) (n  c) (d) (¬n  c)


(b) ((w  ¬c)  n) (e) ((w  ¬n)  (n  c))
(c) {(w  n)  [(n  ¬c)  (¬c  w)]}
2.- Construir la tabla de verdad para cada una de las siguientes expresiones bien formadas
lógicas siguientes:

(a) ((p  q)  r) (d) (s  p)


(b) ((p  q)  (r  s)) (e) ((p  q)  (s r))
(c) ((p  ¬q)  (s  r)) (f) {(p  q)  [(q  r)  (r  s)]}

3.- Construir la tabla de verdad para cada una de las siguientes expresiones bien formadas
lógicas siguientes:

(a) (p  q)  r (b) (p  r)  q (c) ¬p  (q  r)

4.- Construir la tabla de verdad para cada una de las siguientes expresiones bien formadas
lógicas siguientes:

(a) (p  q)  (q  p)) (d) (p  (p  q)  r)


(b) (p  ¬p  q) (e) ((p  q)  (q  p))
(c) {[(p  q)  q]  p} (f) ((p  q)  (p  r))

5.- Aplicando las correspondientes definiciones y propiedades, determinar cual de las


expresiones lógicas del problema 1 son tautologías, indefiniciones o contradicciones.

6.- Aplicando las correspondientes definiciones y propiedades, determinar cual de las


expresiones lógicas del problema 2 son tautologías, indefiniciones o contradicciones.

7.- Aplicando las correspondientes definiciones y propiedades, determinar cual de las


expresiones lógicas del problema 3 son tautologías, indefiniciones o contradicciones.

8.- Aplicando las correspondientes definiciones y propiedades, determinar cual de las


expresiones lógicas del problema 4 son tautologías, indefiniciones o contradicciones.

9.- Transformar las siguientes expresiones lógicas en otras equivalentes con la conectiva que se
indique en cada caso y simplificar si es posible:
1
UNIVERSIDAD NACIONAL DE TUCUMÁN
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍA
DEPARTAMENTO DE ELÉCTRICA, ELECTRÓNICA Y COMPUTACIÓN
LÓGICA Y ÁLGEBRA DISCRETA - MODULO V (COMPUTACIÓN)
________________________________________________________________________________________________

 (p  q) a conjunción
(a) (¬p  q)

(b) (p  q)  [(p  q)  (q  p)] a conjunción


(c) (p  q)  (p  q) a disyunción

(d) (¬p  q)  ¬(¬p  ¬q) a condicional


(e) (¬p  q)  (¬q  p) a conjunción

10.- Utilizando las propiedades de la lógica formal, simplificar las siguientes expresiones y/o
expresarlas únicamente como disyunciones:

(a) (r  (¬w  s)) (c) ((w  p)  (w  ¬p))


(b) {(w  p)  [(p  ¬w)  (¬p  w)]}
11.- Utilizando las propiedades de la lógica formal, simplificar las siguientes expresiones y/o
expresarlas únicamente como conjunciones :

(a) ((p  q)  (p  s)) (c) ((p  q)  (p  ¬q))


(b) ((p  ¬q)  (s r))
12.- Utilizando las propiedades de la lógica formal, simplificar las siguientes expresiones y/o
expresarlas únicamente como conjunciones :

(a) (p  q)  (¬q  p) (d) ¬(p  q)  (¬q  ¬p)

(b) (¬p  ¬q) (p  q) (e) [(p  ¬q)  (q  p)]


(c) ¬[(p  q)  (p  q)] [¬(p  q)  (p  q)]
13. ( I ) Utilizando las Leyes Lógicas, demuestre las siguientes equivalencias:
a) ¬ ((p  q)  p)  (¬ p  q)
b) (p  (q  (r  ¬ p )))  F , donde F es la constante proposicional “Falso”
c) (( p  r )  ( q  s )) (( p  q )  ( p  s )  ( r  q )  ( r  s ))

d) (( p  r )  ( q  r ))  (( p  q )  r )

e) (( p  q )  ( p  r ))  ( p  ( q  r ))

f) ( p  ( p  ( p  q ))  p

g) ( p  (( ¬ q  ( r  r ))  ¬ ( q  (( r  s )  ( r  ¬ s ))))

2
UNIVERSIDAD NACIONAL DE TUCUMÁN
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍA
DEPARTAMENTO DE ELÉCTRICA, ELECTRÓNICA Y COMPUTACIÓN
LÓGICA Y ÁLGEBRA DISCRETA - MODULO V (COMPUTACIÓN)
________________________________________________________________________________________________

( II ) Simplifique las siguientes expresiones. Establezca cada ley que use.


a) (( p  V )  ( q  F ))
b) ( p  ( q  ( r  ¬ p )))
c) ¬ (( p  ¬ ( q  ¬ r ))
d) ( p  ¬ ( p  ¬ (q  r )))
e) ((( p  q )  ( p  ¬ q ))  q )

f) (( p  q )  ( ¬ q  ( r  ¬ q )))

15.- Encuentre la negación de los siguientes enunciados aplicando las equivalencias lógicas
correspondientes:
a) Juan estudia Ingles y Computación
b) María puede subir a la motocicleta de Luis sólo si usa el casco
c) El público se dormirá cuando el presidente de la sesión dicte la conferencia
d) Solicitaré un préstamo, si viajo a Brasil o a Chile.
e) Terminar de escribir mi programa antes del almuerzo es necesario para que juegue
al tenis esta tarde.

3
UNIVERSIDAD NACIONAL DE TUCUMÁN
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍA
DEPARTAMENTO DE ELÉCTRICA, ELECTRÓNICA Y COMPUTACIÓN
LÓGICA Y ÁLGEBRA DISCRETA - MODULO V (COMPUTACIÓN)
________________________________________________________________________________________________

La siguiente tabla resume las equivalencias lógicas más importantes del Álgebra proposicional.

TABLA 1: EQUIVALENCIAS LÓGICAS

¬¬ p  p Doble negación

( p  q )  (q  p) Leyes conmutativas
( p  q )  (q  p)
( p  q )  (q  p)

(( p  q )  r )  ( p  (q  r)) Leyes asociativas


( p  q )  (q  p)

( p  ( q  r )) ((p  q )  ( p  r )) Leyes Distributivas


( p  ( q  r )) (( p  q )  ( p  r ))

(pp)p Leyes de idempotencia


(pp)p

(pF)p Leyes de Identidad


(pV)p

(pV)V Leyes de Dominación


(pF)F

(p¬p)V Leyes de los Inversos


(p¬p)F

¬(pq)(¬p¬q) Leyes de De Morgan


¬(pq)(¬p¬q)

( p  q) ( ¬ q  ¬ p) Ley de la Contrarecíproca

( p  q) ( ¬ p  q ) Leyes del Condicional


¬ ( p  q) ( p  ¬ q )

(( p  q )  p )  p Leyes de Absorción
(( p  q )  p )  p

También podría gustarte