(RULES  0 0 0 0 -> 0 1 1 1 , 1 0 1 1 -> 0 0 1 0)