Text this: Theoretical understanding of gradients of spike functions as boolean functions