| Autor |
Mensaje |
ale_vans
Nivel 7
Edad: 35
Registrado: 22 May 2008
Mensajes: 304
Ubicación: Vte. Lopez
Carrera: No especificada
|
|
| como lo resolviste? yo tmb me rompi bastante la cabeza y no lo pude sacar.
|
|
|
|
|
|
   |
     |
|
MarianAAAJ
Nivel 7
Edad: 35
Registrado: 14 Ene 2009
Mensajes: 437
Carrera: Informática
|
|
| ale_vans escribió:
|
|
como lo resolviste? yo tmb me rompi bastante la cabeza y no lo pude sacar.
|
Fijate q te tiene q quedar q se tiene q cumplir que:
x = ~y && x~z = y
entonces metiendo la ecuación uno la 2 te queda que
~y~z = y
Multiplica ambos lados por "y", y como y . ~y = 0
0 = y
|
|
|
|
|
|
  |
|
|
ale_vans
Nivel 7
Edad: 35
Registrado: 22 May 2008
Mensajes: 304
Ubicación: Vte. Lopez
Carrera: No especificada
|
|
Pregunta,
vos estas partiendo de que como: x * ¬y = x entonces implica que: x = ¬y ? Porque tambien podria ser ¬y=1
Tenes que analizar los dos casos por separado y ver a que llegas, lo mismo con la ecuacion x * ¬z * y = x * ¬z .
Igual te comento que analice las 4 combinaciones posibles y se llega a que y=0.
Saludos!
|
|
|
|
|
|
| |
|
|
MarianAAAJ
Nivel 7
Edad: 35
Registrado: 14 Ene 2009
Mensajes: 437
Carrera: Informática
|
|
Parto de que si x * ¬y = x, entonces x <= ¬y no? Entonces eso no implica que x = ¬y?
A q dos casos te referís? partir de q ¬y = 1 y q ¬y= 0?
|
|
|
|
|
|
| |
|
|
ale_vans
Nivel 7
Edad: 35
Registrado: 22 May 2008
Mensajes: 304
Ubicación: Vte. Lopez
Carrera: No especificada
|
|
Claro, vos arrancas de: (x <= ¬y) ^ (x * ¬z <= y)
De ahi tenes que: (x * ¬y = x) ^ ( x * ¬z * y = x * ¬z )
Entonces: (x * ¬y = x) si y solo si: (x = ¬y) ó (¬y = 1)
y: (x * ¬z * y = x * ¬z) si y solo si: (y = x * ¬z) ó (y = 1)
Fijate que hay 4 combinaciones posibles:
(x = ¬y) ^ (y = x * ¬z)
(x = ¬y) ^ (y = 1)
(¬y = 1) ^ (y = x * ¬z)
(¬y = 1) ^ (y = 1)
|
|
|
|
|
|
| |
|
|
MarianAAAJ
Nivel 7
Edad: 35
Registrado: 14 Ene 2009
Mensajes: 437
Carrera: Informática
|
|
| Pasa q no estoy seguro de q puedas decir q (y = 1) o (¬y = 1), porque no te dicen q elementos hay en el álgebra de boole.
|
|
|
|
|
|
| |
|
|
ale_vans
Nivel 7
Edad: 35
Registrado: 22 May 2008
Mensajes: 304
Ubicación: Vte. Lopez
Carrera: No especificada
|
|
| Si, en eso concuerdo con vos. Por eso que me quedan muchas dudas sobre este ejercicio.
|
|
|
|
|
|
| |
|
|
MarianAAAJ
Nivel 7
Edad: 35
Registrado: 14 Ene 2009
Mensajes: 437
Carrera: Informática
|
|
| ale_vans escribió:
|
|
Si, en eso concuerdo con vos. Por eso que me quedan muchas dudas sobre este ejercicio.
|
Bueno por lo menos en algo estamos de acuerdo. No entiendo porque no te cierra la solución q propuse.
|
|
|
|
|
|
| |
|
|
Oxigeno
Nivel 2
Registrado: 11 Dic 2012
Mensajes: 16
|
|
Yo llegue a esto mismo que había llegado MarianAAAJ: xy=0 y x.~y.~z= 0
done ~Y es el complemento de Y.
Luego operando, llego a q X = 0 y por Hipotesis x+y = y, por lo tanto x<y entonces siendo x = 0 no puede ser y = 0.
Quizás el error lo cometa llegando a x=0. ¿A alguno le paso algo asi?
Saludos
|
|
|
|
|
|
| |
|
|
mart
Nivel 4
Edad: 39
Registrado: 11 Sep 2007
Mensajes: 86
Ubicación: SL
Carrera: Informática
|
|
Revivo el tema porque estaba haciendo ese ejecicio (2.c) y la verdad que no me termina de cerrar.
Piden ![[tex]x\prec \overline y \wedge x \overline z \prec y \rightarrow y = 0 [/tex]](images/latex/40c581cd0f028d554029c426b34ac61ff1467837_0.png "[tex]x\prec \overline y \wedge x \overline z \prec y \rightarrow y = 0 [/tex]")
Yo llegué a:
![[tex]xy = 0 [/tex]](images/latex/5489500bf5ef0a3cf766aa87761ee6f3aefe71f0_0.png "[tex]xy = 0 [/tex]")
y
![[tex]x\overline z = 0 [/tex]](images/latex/6b3e5886c4282374c54c83403718ad98c6beb1be_0.png "[tex]x\overline z = 0 [/tex]")
Pero no se me ocurre nada mas para llegar el resultado ¿Alguien lo pudo terminar?
|
|
|
|
_________________
She will kiss you till your lips bleed.-
|
|
  |
   |
|
|
|
