Логические формулы и схемы

Эта статья — сокращенный вариант главы из книги «Вычислимые функции», издание которой планируется в ближайшее время.