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
SUMMARY

The discussion focuses on simplifying the logical expression (-p ∧ q) ∨ ¬(p ∨ q) using standard logical equivalences. Participants confirm that applying De Morgan's Laws and the Distributive Law effectively simplifies the expression to (¬p ∧ q) ∨ (¬p ∧ ¬q). The final result demonstrates the application of logical equivalences in propositional logic, showcasing the importance of understanding these foundational rules.

PREREQUISITES
  • Understanding of propositional logic
  • Familiarity with De Morgan's Laws
  • Knowledge of logical equivalences
  • Basic skills in symbolic representation of logical expressions
NEXT STEPS
  • Study the application of De Morgan's Laws in various logical expressions
  • Learn about the Distributive Law in propositional logic
  • Explore advanced logical equivalences and their proofs
  • Practice simplifying complex logical expressions using standard rules
USEFUL FOR

Students of mathematics, logic enthusiasts, and anyone studying propositional logic who seeks to enhance their understanding of logical equivalences and simplification techniques.

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
3K
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
Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
  • · Replies 3 ·
Replies
3
Views
2K
Are These Predicate Logic Equivalences Valid?
  • · Replies 3 ·
Replies
3
Views
2K
Proving Logical Equivalence with Algebraic Substitutions
  • · Replies 1 ·
Replies
1
Views
2K