Knowee
Questions
Features
Study Tools

Using laws of logic prove that following are equivalenti)~ ( ) and ~ p q p q → 

Question

Using laws of logic prove that following are equivalent

(pq) \sim (p \land q) and pq \sim p \lor \sim q

🧐 Not the exact question you are looking for?Go ask a question

Solution

To prove the equivalence (pq) \sim (p \land q) and pq \sim p \lor \sim q using laws of logic, we can follow these steps:

1. Break Down the Problem

We need to prove that: (pq)pq \sim (p \land q) \equiv \sim p \lor \sim q This is known as De Morgan's Law.

2. Relevant Concepts

We will use the following logical equivalences:

  • De Morgan's Laws:
    1. (pq)pq \sim (p \land q) \equiv \sim p \lor \sim q
    2. (pq)pq \sim (p \lor q) \equiv \sim p \land \sim q

3. Analysis and Detail

Let's start with the left side of the equivalence:

  1. Begin with (pq) \sim (p \land q) .
  2. According to De Morgan's Law, we can rewrite this as: (pq)pq \sim (p \land q) \equiv \sim p \lor \sim q

4. Verify and Summarize

The transformation holds according to the definitions provided by De Morgan's Laws. Thus, we have shown that: (pq)pq \sim (p \land q) \equiv \sim p \lor \sim q This concludes the proof.

Final Answer

Therefore, the two statements are equivalent: (pq)pq \sim (p \land q) \equiv \sim p \lor \sim q

This problem has been solved

Similar Questions

Using laws of logic prove that following are equivalenti)~ ( ) and ~ p q p q → 

Show that( ) ( ) ( ) ( ) p q r s and p r q s → → → → → →are not logically equivalent

(~P^(~Q^~R)) v (Q^R) v (P^R) <=> Rprove it without using truth table3 / 3

(p → q) ∧ (p → r) is logically equivalent top ∧ (q ∨ r)p → (q ∧ r) p ∨ (q ∧ r) p → (q ∨ r)

p → q is logically equivalent to ________ans.¬p ∧ qp ∨ ¬q¬p ∨ q¬p ∨ ¬q Previous Marked for Review Next

1/2

Upgrade your grade with Knowee

Get personalized homework help. Review tough concepts in more detail, or go deeper into your topic by exploring other relevant questions.