09/12/2019, 05:23:08 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Ejercicio de lógica proposicional con tabla de verdad  (Leído 349 veces)
0 Usuarios y 1 Visitante están viendo este tema.
dana_mp
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Chile Chile

Mensajes: 1


Ver Perfil
« : 11/05/2019, 10:35:46 pm »

Hola a todos. Soy nueva por aquí, y quisiera saber si me pueden ayudar a resolver un ejercicio de lógica proposicional (es del libro de Álgebra de Goles). El ejercicio dice: dada la siguiente tabla de verdad, encontrar la expresión más simple para la proposición red.


La verdad no se como abordar el ejercicio. Si alguien me pudiera ayudar a resolverlo, le estaré muy agradecida.


* foto_logica_dana.png (2.84 KB - descargado 69 veces.)
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.445


Ver Perfil
« Respuesta #1 : 11/05/2019, 11:59:21 pm »

Hola dana_mp, bienvenida al foro!! :sonrisa_amplia:

Recordá leer y seguir las reglas del mismo así como el tutorial del [texx]\mathrm\LaTeX[/texx] para escribir las fórmulas matemáticas correctamente.

Por otro lado, ¿qué intentaste? Es importante que nos digas qué hiciste y qué dudas concretas tenés así podemos ayudarte mejor.

Está prohibido subir imágenes que reemplacen expresiones matemáticas, y las que se puedan deben insertarse explícitamente en el mensaje. Más información aquí.



La imagen dice:

[texx]
\begin{array}{cccc}
p&q&r&\text{red}\\
V&V&V&F\\
V&V&F&F\\
V&F&V&F\\
V&F&F&V\\
F&V&V&V\\
F&V&F&V\\
F&F&V&F\\
F&F&F&V\\
\end{array}
[/texx]

Debés entender el concepto de forma normal disyuntiva (FND), ya que es necesario para completar el ejercicio.

Nos centramos en las salidas con verdadero:

[texx]
\begin{array}{cccc}
p&q&r&\text{red}\\
V&V&V&F\\
V&V&F&F\\
V&F&V&F\\
V&F&F&\color{red}V\\
F&V&V&\color{red}V\\
F&V&F&\color{red}V\\
F&F&V&F\\
F&F&F&\color{red}V\\
\end{array}
[/texx]

y escribimos las proposiciones unidas por [texx]\wedge[/texx] tales que:

- Si es [texx]V[/texx] entonces la proposición se deja como está.
- Si es [texx]F[/texx] se la niega.

Cada salida por verdadero es una nueva proposición, por ende a cada una se las une con [texx]\vee[/texx].

Por tanto, la proposición que resulta de las 8 entradas es:

[texx](p\wedge\neg q\wedge\neg r)\vee(\neg p\wedge q\wedge r)\vee(\neg p\wedge q\wedge\neg r)\vee(\neg p\wedge\neg q\wedge\neg r).[/texx]

Obviamente se puede simplifcar, intentá hacerlo, y sino volvé a preguntar, mostrando tus avances.

La respuesta debería ser...

Spoiler (click para mostrar u ocultar)

Saludos!
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!