En lógica proposicional P ↔ Q es equivalente a (donde ~ denota NO):
(A) ~( P ∨ Q ) ∧ ~ ( Q ∨ P )
(B) ( ~P ∨ Q ) ∧ (~ Q ∨ P )
(C ) ( P ∨ Q ) ∧ ( Q ∨ P )
(D) ~( P ∨ Q ) → ~ ( Q ∨ P )
Respuesta: (B)
Explicación: P ↔ Q = (P → Q) ∧ (Q → P)
P ↔ Q = (~P ∨ Q) ∧ (~Q v P)
Entonces, la opción (B) es correcta.
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA