UGC-NET | UGC-NET CS 2015年6月–III |问题57

在命题逻辑中↔ Q相当于（其中~表示非）： （A） ~（P）∨ Q）∧ ~ （Q）∨ P） （B） （~P）∨ Q）∧ （~Q）∨ P） （C） （P∨ Q）∧ （Q）∨ P） （D） ~（P）∨ Q）→ ~ （Q）∨ P） 答复: （B） 说明： P↔ Q=（P→ Q）∧ （Q）→ P） P↔ Q=（~P）∨ Q）∧ （~Q v P） 因此，选项（B）是正确的。 这个问题的小测验