Vamos analisar cada afirmativa: I - Entre os teoremas de uma variável, quando fazemos a operação OR de um valor X qualquer com o nível lógico 0, o resultado é sempre 0. Falso. Na operação OR, X OR 0 resulta em X, não 0. II - Entre os teoremas de uma variável, quando fazemos a operação AND de um valor X qualquer com o nível lógico 0, o resultado é sempre 0. Verdadeiro. Na operação AND, X AND 0 resulta em 0. III - Quando temos duas variáveis de entrada, e fazemos tanto uma operação AND como uma operação OR entre elas, a ordem em que as variáveis aparecem na expressão não altera o resultado. Verdadeiro. Isso se refere à propriedade comutativa das operações AND e OR. IV - Quando estamos simplificando uma expressão e no meio do processo ocorre uma negação dupla em uma ou mais variáveis, isto significa que houve erro de simplificação. Falso. A negação dupla (¬(¬A) = A) é uma regra válida na álgebra booleana e não indica erro. Agora, vamos ver quais afirmativas são corretas: - Afirmativa II é verdadeira. - Afirmativa III é verdadeira. Portanto, as afirmativas corretas são II e III. A alternativa que contém todas as afirmativas verdadeiras é: C) II e III, somente.