Hola gente!

Miren, yo en diciembre rindo el final de Discreta y bueno, me estoy poniendo a practicar un poco. Me topé con este ejercicio (del final de Agosto) que, sinceramente, no puedo terminar de resolver =S
Le preguntaría a la profesora, pero está de licencia hasta diciembre ¬¬

El ejercicio es el siguiente:

("vv" = "o exclusivo", no sé cómo hacerlo)

Hay que achicar esta expresión:
(r ^ -p) --> [(q v -r) ^ (-q vv -r v t)]

Llega un punto en el que me trabo..

Bueno, espero que haya alguien con el tiempo y la caridad (y los conocimientos xD) suficientes como para darme una manito!


Desde ya, muuchas gracias!

Ivra escribió:Hola gente!

Miren, yo en diciembre rindo el final de Discreta y bueno, me estoy poniendo a practicar un poco. Me topé con este ejercicio (del final de Agosto) que, sinceramente, no puedo terminar de resolver =S
Le preguntaría a la profesora, pero está de licencia hasta diciembre ¬¬

El ejercicio es el siguiente:

("vv" = "o exclusivo", no sé cómo hacerlo)

Hay que achicar esta expresión:
(r ^ -p) --> [(q v -r) ^ (-q vv -r v t)]

Llega un punto en el que me trabo..

Bueno, espero que haya alguien con el tiempo y la caridad (y los conocimientos xD) suficientes como para darme una manito!


Desde ya, muuchas gracias!

(q u -r) ^ (-q vv -r v t)
(q v -r) ^ ((-r vt) vv (-q))
[(qv -r)^(-rvt)] vv [(-q v -r) ^(-q)]
[(q v -r)^(-r) v(q v -r) ^(t)] [(-r v -q)^(-q)]
[(q ^ -r) v (-r ^-r) v (q v -r) ^(t)]vv [(-r ^-q) v (-q^-q)]
[((q^-r) v (-r)) v ( (q v -r) ^(t)] vv [(-r ^-q) v -q]
[((qv -r) ^(-r)) v ((qv -r) ^t))] vv[( -r v-q) ^-q]
[(( q v -r) ^(-r v t))] vv[(-r v -q) ^-q]
[(q v -r ) ^(-r vt) ]vv[(-r v -q)] ^ [(( q v -r) ^(-r v t))] vv -q
[((q v -r) vv (-r v -q) ^ ((-r vt) ]vv(-r v -q))] ...
esta parte de la izquierda se simplifica pero me tengo que ir
espero haberlo echo bien hace ya masd e 1 año ke la curse
A B Avvb

V V F
V F V
F V V
F F F

Saludos!.

muuuuuuuchas muchas muchas gracias!!

ahora lo copio y lo trato de entender =P jaja

graciassssss :D