Fast, efficient, and explainable AI using logic-based algorithms. Developers of logic-based AI model training tools whose algorithms utilise propositional logic, Tsetlin Machine, and data binsarisation.