Taller Logica

NOTA: LAS RESPUESTAS ESTÁN INDICADAS CON ROJO.

DE SER NECESARIO EL PROCEDIMIENTO, LES PIDO ME LO HAGAN SABER EN EL MENOR TIEMPO POSIBLE.

Para comprender la técnica de simplificación y representación mediante funciones Booleanas, desarrollemos un ejercicio práctico, partamos de una proposición compuesta:

Si Juan mejora su habilidad para razonar, entonces argumenta mejor o lee mejor.

En esta proposición compuesta se identifican las siguientes proposiciones simples:

p = Juan argumenta mejor

q = Juan lee mejor

r= Juan mejora en su habilidad para razonar

Si expresamos la proposición dada en lenguaje natural a su equivalente en lenguaje simbólico obtenemos:

F(p, q, r) = r --> (p v q)

¿En qué casos es verdadera la función lógica propuesta? Desarrollemos la tabla de verdad para ésta función, tal y como lo aprendimos en la primera unidad:

p q r (p v q) Función Lógica

r-->(p v q)

F F F F V

F F V F F

F V F V V

F V V V V

V F F V V

V F V V V

V V F V V

V V V V V

Observemos que la función será verdadera en todos los casos excepto cuando p sea Falso, q sea falso y r sea verdadero.

Es decir que la función lógica se cumplirá en todos los casos menos cuando ocurra ~p y ~q y r=(~p)(~q)(r).

Si aplicamos el teorema de D'Morgan encontramos que la función se cumplirá cuando: ocurra p ó ocurra q ó no ocurra r, veamos:

~((~p)(~q)(r)) = ~(~p) + ~(~q) + ~(r) = p + q + ~r

El método que hemos usado para representar la función lógica se denomina forma normal conjuntiva.

12. La función lógica que corresponde a la siguiente tabla de verdad es:

p q r

Función Lógica

F F F V

F F V F

F V F V

...