Questões de Concurso Militar CAP 2012 para Cabo - Técnico em Processamento de Dados (Reaplicação)

Dados os operadores lógicos: & (AND) , | (OR) , ! (NOT) , ^ (OU EXCLUSIVO), e considerando-se '1' = verdadeiro e '0' = falso, qual é a expressão a seguir que, se avaliada, produzirá o valor 'verdadeiro' ?

Segundo Szwarcifiter e Markenzon (2010) , "existem dois aspectos básicos no estudo de algoritmos(...). O primeiro consiste em verificar a exatidão do método empregado, o que é realizado através de uma prova matemática. O segundo visa à obtenção de parâmetros que possam avaliar a eficiência do algoritmo em termos de tempo de execução e memória ocupada" .

O trecho acima se refere a quais aspectos, respectivamente?