Este es un idioma inglés problema. Se les ha dado una especificación en lenguaje natural, y están luchando para convertirlo en explícito de la lógica.
Los interruptores a y B son ambos.
Has utilizado una puerta Y por esto, con razón, que la cláusula (a Y b), vamos a llamar a este resultado parcial e.
Cambiar C o Interruptor de D es, pero no tanto.
Has utilizado una puerta XOR para ello, con razón, que la cláusula (c XOR d), vamos a llamar a este resultado parcial de f.
Hasta el momento, ha reducido la expresión completa para ...
Una lámpara de luz sólo si ocurre lo siguiente: e ? f
Ahora, no 'sólo si' significa que las luces si e Y f, o qué significa e O f?
Esta es la razón por ingenieros de meterse en problemas, la aceptación de un trabajo con una especificación escrita en inglés, y luego, dándose cuenta de que no sabemos realmente lo que se pide hasta que llegan a implementar. 'Sólo si' suena un poco logiccy no.
'Sólo si' no se usa en la lógica. Hay un término 'si y sólo si", que generalmente se expresa como el FIB. Sin embargo, el FIB es un bicondicional, es diseñado para expresar una verdad acerca de un sistema, más que como una fórmula para obtener un resultado a partir de los insumos. Por ejemplo "yo tengo un hermano IFF mi hermano es un hombre'. (Algo) FIB (condicional).
Como usted está tratando de hacer una fórmula de la lógica de trabajo, es evidente que no significa que el FIB, pero SI. Así que hemos ...
(Una lámpara de luz), SI (e ? f).
SI todavía no ha aclarado si que ? debe ser Y o, O, o incluso algo más. El inglés no es lo suficientemente precisa. Eso podría significar que cualquiera de esos.
Vamos a poner el 'solo' de nuevo, a ver si ayuda a calificar si es Y o O.
Una lámpara de luz SÓLO si ocurre lo siguiente: e ? f
Una lámpara de luz SÓLO si CUALQUIERA de los siguientes casos: e ? f
Como un hablante nativo de inglés, la primera suena razonable, si inusual, pero el segundo suena realmente extraño. Si el inglés no era mi primer idioma, entonces no puedo llegar a esa conclusión.
Esto puede ser una pregunta diseñada para probar si se puede detectar ambigüedades como este, y decir que la pregunta es indeterminado.
Sin embargo, si yo estaba tomando un examen, y dijo que cree que "fue sólo una respuesta correcta', entonces me gustaría decidirte por Y, que es mi mejor lectura del inglés.
Si yo era la aplicación de un producto a partir de una especificación del cliente, me gustaría volver a ellos y preguntarles si eso es lo que realmente significaba.