S => E = E => E = E / E => E = E / W => E = E * E / W => E = E * (E) / W => E = E * (E + E) /W => E = E * (E + Y) /W => E = E * (X + Y) /W => E = 2 * (X + Y) /W => Z = 2 * (X + Y) /W | pravilo 1 pravilo 5 pravilo 9 pravilo 4 pravilo 6 pravilo 2 pravilo 9 pravilo 9 pravilo 8 pravilo 9 |