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