Así que la siguiente expresión booleana:
a'b'c + a'bc '+ ab'c' + abc
Se puede simplificar para:
a XOR b XOR c
Por la definición de XOR: XOR = 1 si hay un número impar de unos de cada término.
Lo que me pregunto es:
-
¿Entendí la definición de XOR correctamente?
-
¿Por qué esa es la definición? ¿Prueba intuitiva?
Mi intuición me dice que XOR solo debe ser cierto si y solo si hay un solo término con el valor 1. es decir A XOR B XOR C iff A'B'C + A'BC '+ AB'C' .
- Más importante , ¿se puede simplificar la expresión original paso a paso?
Personalmente, creo que me olvidaría fácilmente de que el término abc se incluye en XOR para 3 variables. No tengo problemas para detectar XOR en 2 variables, y realmente no he trabajado con más de 3.