recategorized by
1,214 views
5 votes
5 votes

In propositional language $P \leftrightarrow Q$ is equivalent to (where $\sim$ denotes NOT)

  1. $\sim (P \vee Q) \wedge \sim (Q \vee P)$
  2. $(\sim P \vee Q) \wedge (\sim Q \vee P)$
  3. $(P \vee Q) \wedge (Q \vee P)$
  4. $\sim (P \vee Q) \rightarrow \sim (Q \vee P)$
recategorized by

2 Answers

Best answer
4 votes
4 votes

↔ Q

(P  Q) (Q → P)

(~ P ∨ Q) ∧ (~ Q  P)

B is ans

selected by
3 votes
3 votes

bi conditional means conditional from both side hence

p<-->q  => p->q and q->p

which is nothing but ~pvq and ~q V p

hence ans is B 

Answer:

Related questions

2 votes
2 votes
1 answer
3
3 votes
3 votes
1 answer
4
go_editor asked Aug 2, 2016
2,563 views
Match the following for UNIX system calls :$\begin{array}{clcl} &\textbf{List-I} && \textbf{List-II} \\ \text{(a)} & \text{exec} & \text{(i)} & \text{Creates new process...