Поскольку нервная активность подчиняется закону "все или ничего", то нейронные события и соотношения между ними можно изучать средствами логики предложений. Оказывается, что поведение любой сети может быть описано в этих терминах с привлечением более сложных логических средств для сетей, содержащих петли. Для всякого логического выражения, удовлетворяющего некоторым условиям, можно найти сеть, имеющую описываемое этим выражением поведение. Показывается, что различные выборы возможных нейрофизиологических предпосылок эквивалентны в том смысле, что для сети, действующей согласно одной предпосылке, существует другая сеть, действующая согласно другой и дающая те же результаты, хотя, быть может, не за то же самое время. Обсуждаются различные приложения исчисления.