教资会网络 | UGC NET CS 2015 年 6 月 – III |问题 57

在命题逻辑中，P ↔ Q 等价于（其中 ~ 表示 NOT）：
(A) ~( P ∨ Q ) ∧ ~ ( Q ∨ P )
(B) ( ~P ∨ Q ) ∧ (~ Q ∨ P )
(C) ( P ∨ Q ) ∧ ( Q ∨ P )
(D) ~( P ∨ Q ) → ~ ( Q ∨ P )答案：（乙）
解释： P ↔ Q = (P → Q) ∧ (Q → P)
P ↔ Q = (~P ∨ Q) ∧ (~Q v P)
所以，选项（B）是正确的。这个问题的测验