Title: NP-polnota zadachi razbienii͡a sistem bulevykh uravneniĭ na minimalʹnye bloki
Subjects: Algebraic logic, Boolean Algebra