O conteúdo envolvido é lógica proposicional: precisamos saber como calcular o bicondicional (p\leftrightarrow q), a negação \neg q, a implicação (p\rightarrow \neg q) e, por fim, a disjunção exclusiva \oplus.
Passo 2
Primeiro, listamos todas as possíveis combinações de valores lógicos para p e q:
Em seguida, obtemos \neg q e depois avaliamos a implicação p\rightarrow \neg q. Lembrando que p\rightarrow r é \mathrm{F} somente quando p=\mathrm{V} e r=\mathrm{F}; nos demais casos é \mathrm{V}.