Алгоритми спрощення і вербалізації нейронних мереж перетворюють моделі структурного підходу на явні логічні моделі. З іншого боку, ще 1943 року Воррен Маккалох і показали, що нейронна мережа може реалізувати будь-яку функцію алгебри логіки.