"Алгебра логики в задачах" - читать интересную книгу автора (Гиндикин С.Г.)