Sabendo que o valor lógico de uma proposição simples é verdade e o valor lógico de outra proposição é falso, então é correto afirmar que:

Gabarito

D

Comentário do professor

Partindo da hipótese de que uma proposição é verdadeira e a outra é falsa, analisamos a operação lógica envolvida.

A disjunção exclusiva (ou XOR) é verdadeira quando, e somente quando, exatamente uma das proposições é verdadeira. Em símbolos: \(p \veebar q\) significa "um ou outro, mas não ambos".

Formalmente pode ser escrita como \(p \veebar q = (p \lor q)\land \neg(p\land q)\). Essa expressão junta a disjunção inclusiva e a negação da conjunção para eliminar o caso em que ambas são verdadeiras.

Substituindo \(p=V\) e \(q=F\) temos \(p\lor q = V\) e \(p\land q = F\), então \((p\lor q)\land \neg(p\land q) = V\land \neg F = V\).

Portanto, o valor lógico da disjunção exclusiva entre as duas proposições é verdade.