"Boolean functions and computation models " - читать интересную книгу автора (Peter Clote, Evangelos Kranakis)