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