совместная выполнимость

Joint satisfiability