Los mapas de Karnaugh generalmente se dibujan en código gris (con un bit cambiando a la vez, por lo que 000, 001, 011, 010 en lugar de con la secuencia decimal *) y si lo haces, obtienes:
.
Esto corresponde a términos mínimos
C'A'B + C'AB '+ CA'B' + CAB = C '(A'B + AB') + C (A'B '+ AB)
La función XOR es A ^ B = A'B + AB 'y A XNOR B es A'B' + AB
Entonces f = C '(A XOR B) + C (A XNOR B) = C' (A XOR B) + C (A XOR B) '= C XOR (A XOR B) = A XOR B XOR C
- Nota: solo puede agrupar celdas y reducir usando un K-Map cuando está en la secuencia del Código Gris, porque agrupar dos elementos (y descartar la variable que cambia) corresponde a
BC(A + A') = BC
, lo que solo tiene sentido cuando uno el bit está cambiando.