MO417 - Questão para a prova oral

Número: 2010-117

Enunciado: No problema de satisfabilidade de circuitos, considere as portas lógicas e o circuito apresentados abaixo.

Portas lógicas:



Circuito:


Dado que as entradas do circuito são os valores atribuídos a X₁, X₂, X₃ e X₄, qual atribuição para as entradas desse circuito faz a saída do circuito se tornar 1?

1. X₁ = 1, X₂ = 0, X₃ = 0, X₄ = 1 
2. X₁ = 1, X₂ = 0, X₃ = 1, X₄ = 1 
3. X₁ = 1, X₂ = 1, X₃ = 0, X₄ = 1 
4. X₁ = 1, X₂ = 1, X₃ = 1, X₄ = 1 
5. NDA

Ideia original de: Maikon Cismoski dos Santos