File: IMG_9029.jpg (59 KB, 968x400)

59 KB JPG

Estoy intentando resolver un puzzle de lógica booleana dentro de un juego y no consigo que acepte mi respuesta.

El puzzle muestra estas tres expresiones:

1. [1 OR (A OR B)] OR [(A OR C) AND TRUE]
2. A AND C OR B AND NOT C OR B AND (C OR B AND NOT C)
3. (A OR B) AND (NOT B OR A) AND (NOT C OR B)

El teclado disponible permite introducir únicamente:

* A, B, C
* 0 y 1
* V = OR
* & = AND
* ~ = NOT
* ( y )
* // para separar las respuestas

La pantalla indica explícitamente:

“División de respuestas: //”

Por lo tanto, entiendo que las tres respuestas deben introducirse en una sola línea con el formato:

respuesta1//respuesta2//respuesta3

Simplificando las expresiones mediante álgebra booleana, obtuve:

1. 1
2. B OR (A AND C)
3. A AND (NOT C OR B)

Por eso probé, entre otras, estas entradas:

1//BV(A&C)//A&(~CVB)

También probé formas booleanamente equivalentes, incluyendo:

1//(AVB)&(BVC)//A&(~CVB)

y

1//BV(A&C)//(A&~C)V(A&B)

Sin embargo, el juego las marca como incorrectas.

¿Estoy interpretando incorrectamente alguna de las tres expresiones? ¿Hay alguna simplificación que esté mal, una precedencia de operadores diferente, o el puzzle espera alguna forma específica (por ejemplo, CNF/DNF) en lugar de cualquier expresión booleanamente equivalente?

Agradecería especialmente que alguien pudiera indicar cuál sería la cadena exacta que debería introducirse utilizando únicamente los símbolos disponibles en el teclado.