in Mathematical Logic edited by
7,503 views
34 votes
34 votes

Which one of the following is NOT equivalent to $p ↔ q$?

  1. $(\neg p ∨ q) ∧ (p ∨ \neg q)$
  2. $(\neg p ∨ q) ∧ (q → p)$
  3. $(\neg p ∧ q) ∨ ( p ∧ \neg q)$
  4. $(\neg p ∧ \neg q) ∨ (p ∧ q)$
in Mathematical Logic edited by
7.5k views

3 Answers

41 votes
41 votes
Best answer
$(p \iff  q)$

$= (p\to q)\wedge (q\to p)$

$= (\neg p\vee q)\wedge (q\to p)$   (Option B)    As$(p\to q = \neg p\vee q )$

$=(\neg p\vee q)\wedge  (\neg q\vee p)$ (Option A)

$=(\neg p\wedge \neg q)\vee (p\wedge q)$ (Option D)

So, answer C is not equivanet to $p \iff q$ and is the answer.
edited by

4 Comments

please check option C is not matching its Option D
0
0
Option C (¬p ∧ q ) ∨ (p ∧ ¬q ) is correct, as it is xor. Option D is xnor and thus same as equivalent. If we put both p and q true or both false, D is true. C is NOT so C must be the answer.
2
2

Fixed now yes

0
0
1 vote
1 vote
Option A, B, D comes out to be P ↔ Q.

Option C is P xor Q.

Answer : C
1 vote
1 vote

.

Answer:

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true