Logic Explained Networks and Tsetlin Machines offer transparent, logic-based AI. Could they make AI more efficient, auditable, and trustworthy?