Algoritmos e Estrutura de Dados (TI) — equivalências lógicas

Um programador concebeu o seguinte algoritmo, aqui expresso em Português Estruturado.

Caso os valores lidos para a e b sejam, respectivamente, 4 e 6, então o valor impresso para X será: