Text this: Binary ant colony optimization algorithm in learning random satisfiability logic for discrete hopfield neural network