Foros Ciencias Galilei

Hola a todos!!! como les va¿? espero que bien!!!

Como pude darme cuenta, por aquí no se meten mucho los computistas!! pero bueh que se le hace...

Ahora les traigo un ejercicio de logica simbólica, cuyo enunciado es el siguiente:

Demuestre que:

(p V q V r) ∧ (p V t V ¬q) ∧ (p V ¬t V r) ∧ (t V ¬q) ≡ (p V r) ∧ (t V ¬q)

Esto se hace a través de las leyes de equivalencias lógicas!!! lo empece a hacer...pero sólo llego a un circulo vicioso interminable!!!

Espero que alguno de ustedes pueda brindarme un poco de ayuda!!!

Gracias!!! Espero su pronta respuesta!!!

No estoy seguro de que sea correcto lo que voy a haver pero basándome en unión e intersección de conjuntos...

(p V q V r) ∧ (p V t V ¬q) ∧ (p V ¬t V r) ∧ (t V ¬q) ≡ (p V r) ∧ (t V ¬q)

Lo ordenamos de esta manera para que se vea más claro:

[(p V q V r) ∧ (p V ¬t V r)] 　∧　 [(p V t V ¬q) ∧ (t V ¬q)]

en el primer corchete los comunes (∧) a los dos conjuntos son (p V r)
en el segundo corchete los comunes (∧) a los dos conjuntos son (t V ¬q)

Luego cambiando cada corchete por lo que vale, obtenemos:

(p V r) ∧ (t V ¬q)

Ya digo que me baso en la teoría de conjuntos pero el resultado es el mismo.

es sencillo, hay que darle valores a p, q y r y ver si equivalen...

dale a p verdadero, a q falso, a r verdadero  y listo, o mejor aún, dale valores booleanos como 1 y 0... enseguida voy a a intentar hacer el ejercicio