Knygoje išdėstomi matematinės logikos pradmenys. Remiantis Būlio algebra, akcentuojamas teiginių formalus aprašymas, loginių funkcijų transformavimas ir jų minimizavimo metodai. Nagrinėjamas šių metodų panaudojimas konstruojant logines schemas ir programuojant. Skiriama aukštesniųjų klasių mokiniams. Knyga taip pat bus naudinga studentams, visiems, besidomintiems programavimu.