Sejam ~, ∨, ∧ e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, conjunção e bicondicional. Considere as proposições p e q a seguir:

p: O Brasil é o maior país da América do Sul;

q: A França é um país asiático.

Pode-se afirmar sobre o valor lógico da proposição composta R: ~(p ∧ q) ∨ ~ (q↔ p) que: