Stav dette: Algebra booleana: instrucción programada