Is p <=> q Equivalent to (p ^ q) V (¬p ^ ¬q) Through Equation Reasoning?

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
1 reply · 2K views
svishal03
Messages
124
Reaction score
1

Homework Statement



Can anyone prove the following

p <=> q

Is equivalent to:

(p ^ q) V (¬p ^ ¬q)
 
Physics news on Phys.org

Discussion

Similar threads

Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
  • member 587159
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3
Undergrad Translate compound proposition p → q (implication) to p↓q question
  • VinnyW
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
Show (p → q) ∨ (p → r) is equivalent to p → (q ∨ r)
  • bonfire09
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3
Proving P → ¬R and Q → ¬(Q → ¬P) from Velleman 3.2.2
  • jfierro
  • · Replies 2 ·
  • Calculus and Beyond Homework Help
Replies
2
Equivalence of Implications: P, Q, and R
  • Easy_as_Pi
  • · Replies 2 ·
  • Calculus and Beyond Homework Help
Replies
2
Proving (p ≡ q) → ((p ∧ q) ∨ (¬p ∧ ¬q))
  • Florence
  • · Replies 11 ·
  • Engineering and Comp Sci Homework Help
Replies
11
Proving that l^p is properly contained in l^q for 1<=p<q<=infty
  • michael.wes
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3
Is It is not Monday and it is not Tuesday Equivalent to ~(P v Q)?
  • joemama69
  • · Replies 2 ·
  • Calculus and Beyond Homework Help
Replies
2
Are the Metrics \rho^{(p)} and \rho^{(q)} Equivalent on \Re^n?
  • jjou
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3
Proving Equation: m + (n + (p + q)) = ((m+n) + p) + q
  • mossfan563
  • · Replies 1 ·
  • Calculus and Beyond Homework Help
Replies
1