Es un programa que no entraña dificultad ninguna que estaría en nivel principiante. Los conjuntos los puedes representar con arrays o arreglos y simplemente tendrías que recorrer los dos conjuntos pero previamente confirmando que tienen la misma longitud o el mismo número de elementos. Dentro del bucle tomas el primer elemento del primer conjunto y luego recorres el segundo conjunto en otro bucle anidado, y si de esa búsqueda encuentras en el segundo conjunto un elemento igual al del primer conjunto entonces pasas al siguiente elemento del primer conjunto, así hasta que no encuentres ninguno con lo que indicas por medio de una "bandera", que no es otra cosa que una variable de estados, que no existe ese elemento y que por tanto no son conjuntos iguales. El algoritmo luego puede optimizarse y prescindir de la bandera, la cual tendría que ser evaluada al final de la realización del bucle para mostrar esos dos mensajes que citas, con lo que el bucle acabaría una vez encuentre desigualdad (por ejemplo por medio de un break) y luego para lanzar el mensaje del resultado podría evaluarse la variable contador del bucle, que simplemente habría que comparar con la longitud del conjunto.

En pseudocodigo: