Text this: Boolean functions and computation models / Peter Clote, Evangelos Kranakis.