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: