Алгебра логики в задачах - Гиндикин С. Г. Семен Григорьевич (Москва, Наука, 1972)