Logical equivalence, need mad help.

  • Thread starter Thread starter seanstermonst
  • Start date Start date
  • Tags Tags
    Equivalence
AI Thread Summary
The discussion focuses on a request for assistance with logical equivalence problems, specifically finding a compound proposition equivalent to p V q using only the logical operator |. The user is encouraged to start with double negation and apply De Morgan’s law to solve the problems. Participants emphasize the importance of showing work and explaining where confusion lies to receive help. The thread highlights the need for clarity in understanding logical operators and their applications. Engaging with the community can aid in grasping these concepts more effectively.
seanstermonst
Messages
1
Reaction score
0
some of you will probly find this easy but this my first assignment after learning what a logical equivalence is so I can't warp my head around it. there are 2 problems I need help with.

Homework Statement


Find a compound proposition logically equivalent to p V q using only the
logical operator |. (Hint: Start with double negation and then De Morgan’s law.)
Show your steps.

Homework Statement


Find a compound proposition logically equivalent to p | q using only
the logical operator |. Show your steps.
 
Physics news on Phys.org
We will not provide any help unless you show us your work, and explain to us how you're stuck.

- Warren
 

Similar threads

I Translate compound proposition p → q (implication) to p↓q question
Replies
4
Views
2K
Discrete Mathmatics :logically equivalent
Replies
7
Views
5K
Show that two quantified statements are logically equivalent
Replies
6
Views
2K
Are These Predicate Logic Equivalences Valid?
Replies
3
Views
2K
Logical equivalencies involving ifs and nors
Replies
2
Views
1K
MHB Solving a Complex Logical Equivalence in CNF Form
Replies
3
Views
2K
Logic: exclusive-OR statements to form AND/OR statements
Replies
3
Views
2K
Need help with a trigonometric expression
Replies
4
Views
2K
What is the Equivalence of Biconditional Connectives?
Replies
3
Views
2K
Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
Replies
3
Views
2K

Hot Threads

Recent Insights

Back
Top