Те же операции что и в Булевой алгебре
Доказательство проводится проверкой всех аксиом булевой алгберы
