Deakstadieđáhus: Algebra booleana: instrucción programada