Improving Neuron State Diversification in Logic Satisfiability via Smish Activation and an Enhanced Updating Rule | Synapse