Основные положения булевой алгебры Ксамади знак отрицания как выглядит