Describir: Algebra booleana: instrucción programada