помогите решить неравенство tgx≥–корень из 3

Решите логическую задачу средствами алгебры логики
Для длительной международной экспедиции на околоземной космической станции надо из восьми претендентов отобрать шесть специалистов: по аэронавтике, космонавигации, биомеханике,энергетике, медицине и астрофизике. Условия полёта не позволяют совмещатьработы по разным специальностям, хотя некоторые претенденты владеют двумяспециальностями. Обязанности аэронавта могут выполнять Геррети и Нам;
космонавигатора — Кларк и Фриш; биомеханика — Фриш и Нам; энергетика — Депардье и Леонов; врача — Депардье и Хорхес; астрофизика — Волков и Леонов.
По особенностям психологической совместимости врачи рекомендуют совместные
полеты Фриша и Кларка, а также Леонова с Хорхесом и Депардье. Напротив,
нежелательно, чтобы Депардье оказался в одной экспедиции с Намом, а Волков — с
Кларком.
Кого следует включить в состав экспедиции?

tgx≥ - корень из 3
Заранее благодарю!

[1;4].

2. Решить уравнение: 3sin2x - 4cosx + 3sinx - 2 = 0 [п/2 ; 3п/2]

3. Точка E середина ребра СС1 куба AB...D1. Найдите площадь сечения куба плоскостью A1BE, если ребра куба равны 2.

4. Решите неравенство: log корень из 2x^2-7x-6 (x/3) > 0

5. Боковые стороны АВ и СD трапеции ABCD равны 6 и 8 соответсвенно. Отрезок, соединяющий середины диагоналей, равен 5, средняя линия трапеции равна 25. Прямые AB и CD пересекаются в точке М. Найдите радиус окружности, вписанной в треугольник BMC.

4) (1, +бесконечность) б) найдите все решения уравнения Cos^2x*Sin^2x+Sin^4x=0 в) найдите множество значений функции y=0.25^t + 2 1) (-2, +беск) 2) (0, +беск) 3) (-беск, + беск) 4) (2, +беск)

1) решить уравнение: sint=корень из 2/2
2)найдите значение tgt, если cost=-4/5 и t принадлежит [п/2;п]