Esta bien lo anterior?
no seria que toda esa expresión no puede evaluar false?
e1 es false, el and es false. el not da true... asi que si, se da que esa expresión evalúa en true.
Hola.
La propiedad está bien. Dudas pero de tu explicación se deduce que está bien...
En palabras: si la expresión e1 es falsa en en una memoria delta, la expresión not(e1 and e2) es verdadera en delta. Notar que not(e1 and e2) es lógicamente equivalente a not(e1) or not(e2) y que not(e1) sería true; luego el or es true (la propiedad entonces vale).
Saludos, Carlos
pero que debo interpretar por, "no se da que"
por lo que veo, aca discutieron lo mismo.
Hola.
Ahora te entendí. En el práctico no debería estar el "no se da que". Por lo tanto, no tengan en cuenta estas palabras.
Saludos, Carlos