Vamos analisar cada uma das sentenças sobre semáforos: I) O semáforo é utilizado para controlar acesso a recursos. Verdadeiro, essa é uma das principais funções dos semáforos em sistemas multitarefas, permitindo que as tarefas acessem recursos compartilhados de forma controlada. II) Um semáforo pode ser de dois tipos: binário e contador. Verdadeiro, os semáforos podem ser classificados como binários (que podem assumir apenas os valores 0 ou 1) e contadores (que podem assumir valores inteiros não negativos). III) O semáforo não permite de forma alguma que um recurso seja compartilhado por mais de uma tarefa ao mesmo tempo. Falso, um semáforo pode permitir que um recurso seja compartilhado por mais de uma tarefa ao mesmo tempo, dependendo do valor do semáforo contador. Um semáforo binário, por outro lado, permite acesso exclusivo. IV) Um contador pode conter diversos valores, inclusive aceitando números negativos. Falso, um semáforo contador não deve conter valores negativos, pois isso não faz sentido no contexto de controle de acesso a recursos. Ele deve sempre ser zero ou positivo. Com base nas análises: - A afirmativa I é verdadeira. - A afirmativa II é verdadeira. - A afirmativa III é falsa. - A afirmativa IV é falsa. Portanto, a alternativa que contém todas as sentenças corretas é: C) I e II estão.