Решите пожалуйста систему уравнений

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

4y-x=1
2xy=1

{ x-y+z=2
{x+y+z=0
{3x+y+z=-2