Text this: Analysis of logic satisfiability in energy based discrete Hopfield neural network