El sensor hall manda positivo y cae el potencial cuando pasa el iman cerca. El 4011 es una puerta nand cuadruple, es decir tiene dos entradas por puerta, si estan las dos positivas tira en la salida cero y si cualquiera de las dos esta a cero tira en la salida positivo. Esta sirve para invertir el pulso y ademas lo filtra y lo hace mas efectivo, anda igual sin la puerta pero con esta anda mejor. Conectas una de las entradas directamente a positivo y la otra a la salida del hall, y la salida a la entrada del circuito. Bajate el dasheet del 4011 y fijate que tenes que alimentarlo con positivo y masa.
Despues me voy a fijar si tengo algun circuito en el proteus
