from machine import pin , I2C
from utime import sleep






roja == Pin(2, Pin.OUT)
roja == Pin(6, Pin.OUT)
roja == Pin(3, Pin.OUT)

B_verde = Pin(10, Pin.IN, Pin.PULL_DOWN )
B_rojo = Pin(11, Pin.IN, Pin.PULL_DOWN )
B_amarillo = Pin(9, Pin.IN, Pin.PULL_DOWN )


while True :
    verde.value(0)
    rojo.value(0)
    amarillo.value(0)

    if B_verde.value() == 1:
        verde.value(1)
    if B_amarillo.value() == 1:
        verde.value(1)
    if B_amarillo.value() == 1:
        verde.value(1)