Algebra booleana; instrucción programada (C.R.A.T, 1973)