"Определимость булевых алгебр в HF-надстройках" - читать интересную книгу автора (Ромина А.В.)