Решение элементарных задач булевой алгебры.