Logical Equivalence Made Easy: Simplify (-p^q)v-(pvq) with Standard Rules

  • Thread starter Thread starter neil87
  • Start date Start date
  • Tags Tags
    Equivalence
Click For Summary
The expression (-p^q)v-(pvq) can be simplified using standard logical equivalences. By applying De Morgan's laws and distribution, the expression can be transformed into a more manageable form. The simplification process demonstrates the effectiveness of logical equivalences in resolving complex expressions. Ultimately, the simplified form provides clarity and enhances understanding of logical relationships. Mastering these techniques is essential for anyone studying logic.
neil87
Messages
1
Reaction score
0
Use the standard logical equivalences to simlify the expression (-p^q)v-(pvq)...

fanx folks!
 
Physics news on Phys.org
I did it.

Not foo hard.
 

Similar threads

Is it possible to prove (P→Q)↔[(P ∨ Q)↔Q] without using truth tables?
  • · Replies 1 ·
Replies
1
Views
2K
Discrete Mathmatics :logically equivalent
  • · Replies 7 ·
Replies
7
Views
5K
Prove: ~p ^ (~q ^ r) v (q ^ r) v (p ^ r) ≡ r
  • · Replies 13 ·
Replies
13
Views
5K
Undergrad Modus Ponens deduction rule
  • · Replies 12 ·
Replies
12
Views
2K
Question about the possible non equivalent logical statements
  • · Replies 13 ·
Replies
13
Views
5K
Undergrad Translate compound proposition p → q (implication) to p↓q question
  • · Replies 4 ·
Replies
4
Views
2K
Logical equivalence, need mad help.
  • · Replies 1 ·
Replies
1
Views
2K
Are These Predicate Logic Equivalences Valid?
  • · Replies 3 ·
Replies
3
Views
2K
Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
  • · Replies 3 ·
Replies
3
Views
2K
Proving Logical Equivalence with Algebraic Substitutions
  • · Replies 1 ·
Replies
1
Views
2K