Em uma fórmula da forma p ∨ (q ↔ ¬p), como o valor de p determina o valor da fórmula?

Se p = V, a fórmula é V; se p = F, a fórmula tem o valor de \(q\leftrightarrow\neg p\), que com p = F equivale a \(q\).

Explicação:
Quando \(p\) aparece em disjunção, qualquer linha com \(p=V\) torna imediatamente \(p\lor(\dots)=V\).
Se \(p=F\), então \(\neg p=V\) e o bicondicional \(q\leftrightarrow\neg p\) vale exatamente o mesmo que \(q\).

Exemplo:
Considere \(r\lor(s\leftrightarrow\neg r)\).
\(r=V,s=V:\) como \(r=V\), a fórmula é \(V\).
\(r=V,s=F:\) como \(r=V\), a fórmula é \(V\).
\(r=F,s=V:\) aqui \(\neg r=V\), então \(s\leftrightarrow\neg r = V\leftrightarrow V = V\), logo a fórmula é \(V\).
\(r=F,s=F:\) \(\neg r=V\), então \(s\leftrightarrow\neg r = F\leftrightarrow V = F\), logo a fórmula é \(F\).