Esto significa que la expresión para H sólo es cierta cuando una y sólo una de las posiciones del programa está ocupada.