Logic Mining Classification for Phone Prices Dataset Using Discrete Hopfield Neural Network and Weighted Random 2 Satisfiability | Synapse