Основы булевой алгебры и её применение в программировании