recategorized by
4,000 views
2 2 votes

Let $P$ and $Q$ be two propositions $\neg (P \leftrightarrow Q)$ is equivalent to

  1. $P\leftrightarrow \neg Q$
  2. $\neg P\leftrightarrow Q$
  3. $\neg P \leftrightarrow \neg Q$
  4. $Q\rightarrow P$

6 Answers

Best answer
2 2 votes
P Q $\sim p$ $\sim Q$ $Q \rightarrow P$ $\sim(P \leftrightarrow Q)$ $P \leftrightarrow \sim Q$
$\sim P \leftrightarrow Q$
$\sim P \leftrightarrow \sim Q$
0 0 1 1 1 0 0 0 1
0 1 1 0 0 1 1 1 0
1 0 0 1 1 1 1 1 0
1 1 0 0 1 0 0 0 1

Both option(1)and (2) is the correct choice.

selected by
3 3 votes

$¬(P\leftrightarrow Q)$

$ ¬(P\rightarrow Q \wedge Q\rightarrow P)$

$¬ ((\bar{P}\vee Q) \wedge (\bar{Q}\vee P))$

$¬(\bar{P}\bar{Q} \vee PQ)$

$¬(P \odot Q)$

$(P\oplus Q)$

now check which options looks like XOR 

P $\bar{P}$ Q $\bar{Q}$ $\bar{P} \leftrightarrow Q$ $P \leftrightarrow \bar{Q}$
T F T F F F
T F F T T T
F T T F T T
F T F T F F

$\bar{P} \leftrightarrow Q$ and $P \leftrightarrow \bar{Q}$ both are correct

edited by
0 0 votes

$\sim$(P $\rightarrow$ Q)

= $\sim$( (P $\rightarrow$ Q) ^ (Q $\rightarrow$ P) )

= $\sim$ ( ($\sim$P v Q) ^ ( $\sim$Q v P) )

= $\sim$($\sim$P v Q) v $\sim$($\sim$Q v P)

= (P ^ $\sim$Q) v (Q v $\sim$P) = P$\bigoplus$Q

Using distributive law. (a + bc) = (a + b).(b + c)

= ( (P ^ $\sim$Q) v Q) ^ ( (P ^ $\sim$Q) v $\sim$P)

= ( ( P v Q)^($\sim$Q v Q)) ^ ( ( $\sim$P v  P) ^ ($\sim$Q v $\sim$P) )

= ( ( P v Q) ^ ( $\sim$Q v $\sim$ P)

Now here we have two choices.

1. ($\sim$P $\rightarrow$ Q) ^ ( Q $\rightarrow$ $\sim$P) = $\sim$P $\leftrightarrow$ Q

2. ($\sim$Q $\rightarrow$ P) ^ (P $\rightarrow$ $\sim$ Q) = P $\leftrightarrow$ $\sim$Q.

So both 1 and 2 option is correct.

Answer:
Position:
Show:

Related questions

0 0 votes
2 2 answers
1.6k
1.6k views
Arjun asked Nov 5, 2017
1,584 views
Negation of the proposition $\exists \: x \: H(x)$ is$\exists \: x \: \neg \: H(x)$$\forall \: x \: \neg \: H(x)$$\forall \: x \: H(x)$$\neg \: x \: H(x)$
1 1 vote
2 2 answers
3.9k
3.9k views
Arjun asked Nov 5, 2017
3,916 views
Which speed up could be achieved according to Amdahl's Law for infinte number of processes if $5\%$ of a program is sequential and the remaining part is ideally parallel?...
0 0 votes
1 1 answer
3.1k
3.1k views
Arjun asked Nov 5, 2017
3,129 views
Which of the given wireless technologies used in IoT, consumes the least amount of power?ZigbeeBluetoothWi-FiGSM/CDMA
0 0 votes
2 2 answers
5.4k
5.4k views
Arjun asked Nov 5, 2017
5,422 views
Which of the following is not a Clustering method?K-Means methodSelf Organizing feature map methodK- nearest neighbor methodAgglomerative method