Sobre as fórmulas proposicionais A ≡ ((P ∨ Q) ⇔ (R ∨ S)) e B ≡ ¬(R ∧ ¬P ∧ ¬Q), em que ¬, ∨, ∧, ⇔ denotam negação, disjunção, conjunção e equivalência lógica, respectivamente, é correto afirmar: