Аннотация:
Мы докажем ряд полезных фактов о булевых алгебрах. В частности, будет установлена тесная связь между выводимостью формул в пропозициональной классической логике и истинностью тождеств в классе всех булевых алгебр. Далее, мы покажем, что булевы алгебры можно воспринимать как особого рода кольца, которые называют булевыми, или идемпотентными.
Обратная связь: