A tiene 000 en leds y botones
B tiene 010 en botones y 111 en leds
C tiene 001 en botones y leds
A en botones cambia a 100(apreté) => manda 100
B recibe 100 => manda 110 (él sabe que el led 1 tiene que estar prendido)
C recibe 110 => manda 111
A recibe 111 => cambia leds, pero no manda, porque la info de sus botones apretados está incluida.
B recibe 111 => no manda.
Resumiendo:
R recibe
L led
B botón
E envía: Tengo que enviar? .
E = (~R)&B
L= R|B
if(E)
envío(L)
Es decir el código que hacía parapadear las luces estaba casi bien, el tema era que se guardaba el estado de los leds, en vez del estado de los botones.