Duda sobre expresiones condicionales. página 3

Cita de: engel lex en 16 Julio 2018, 18:21 pm

no XD es un axioma que depende de un contexto o ambito... es decir, yo no puedo llegar y hablar de la propiedad distributiva si hablamos de leyes XD si la persona robó (2 años) y <agredió (1 año) o mató (10años)> entonces la persona robó con agresión (2años) + robó con asesinato(20 años) entonces la persona va presa 22 años XD

no es un axioma, es que estás interetando los simbolos como en "otro lenguaje" eso implicaría que "-" y "/" tienen su contrapartes en logica y que "1+1" en Lógica binaria es "10"

Digamos que estoy de acuerdo con lo esencial.

Un axioma es una proposición que antiguamente se consideraba que no necesita demostración.
Yo me confundí un poco y lo tomé como que "no necesita explicación", es decir que no necesitaba aclararse que se aplica sólo a ciertos contextos.

Tu idea está buena pero con 4 variables o más no sé cómo se usaría.

A - B - C - D

Rodear sólo una letra no me sirve así que salteo eso.
También el rodear todas.

AB -> (A y B) o C o D
AC (esto significaría que el paréntesis abarca desde A hasta C, supongo que no hay problema con eso) -> (A y B o C) o D
BC -> A y (B o C) o D
BD -> A y (B o C o D)
CD -> A y B o (C o D)
AABC -> ((A y B) o C) o D
Las que sean así con letra repetida capaz que pueden interpretarse mal, pero parece que no. Aún así lo veo complicado. No se sabe cuando una letra está abriendo y cuando cerrando. En este caso se entiende que A no puede estar cerrando (sino sólo implicaría una letra), pero cuando haya más variables puede haber casos en que no sea deducible, creo.

¿Y cómo se haría por ejemplo esto
(A y B) o (C o D)?
Quizá pienses ABCD, pero... si fuesen 5 variables:
A y B o C o D y E
entonces ABCD se podría interpretar así:
(A y B) o (C o D) y E
o así: (A y (B o C) o D) y E
Y si me dices que los pares abren y los impares abren entonces no puedes abrir 2 seguidos...
En el caso de 4 variables no hay problema porque un paréntesis no puede abarcar de A a D.

Quizá letras mayúsculas para indicar un abrir y minúsculas para un cerrar.
AbCd -> (A y B) o (C o D) y E
ABcd -> (A y (B o C) o D) y E

Citar

tienes que tomar en cuenta que tus permutaciones deben ser sin repetidos, y solo contiguos

¿Cual sería el problema si no cumplieran esas reglas?

Citar

tambien puedes permutar permutaciones, para casos con más variables

Esto suena interesante pero difícil y no sé si evita resultados repetidos... Tendría que guardar los resultados e indicar al programa qué cosas se pueden hacer en ellos...
Por lo que anduve pensando hay casos en que tiene sentido poner 2 o más paréntesis que impliquen lo mismo. Pero quisiera que se haga sólo cuando tenga sentido, no siempre. Bueno... para empezar supongo que estaría bien, pero a la larga necesitaría un filtro.