• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Simplification of Logic

  • Thread starter Hypnos_16
  • Start date
153
1
1. Homework Statement

Simplify the following compound statements (give a smallest formula equivalent to each of them). State which logical identities you used at each step
(a) (p→q)↔(q→p)
(b) ¬(p∧q)→(q→(p∨q))


2. Homework Equations

n/a

3. The Attempt at a Solution

(a)
( p → q ) ↔ ( q → p )
¬( p \/ q ) ↔ ¬( q \/ p )
¬( p \/ q )


(b)
¬(p /\ q) → (q → (p \/ q)
(¬ p \/ ¬ q) → (q → (p \/ q)
¬(¬p \/ ¬q) \/ (q → (p \/ q)
(p \/ q) \/ (¬q \/ p \/ q)
(p \/ q) \/ (q \/ p)
(p \/ q)

So these are my attempts, My question stems from part B, in these two lines

¬(¬p \/ ¬q) \/ (q → (p \/ q)
(p \/ q) \/ (¬q \/ p \/ q)

With the second right ward facing arrow. You have to apply De Morgan's law in order to get rid of it, but when applying the not to equation does it go to the right of the bracket like so

(p \/ q) \/ ¬(q \/ p \/ q)

Or the way i have it

(p \/ q) \/ (¬q \/ p \/ q)

I like it the way i have it, because it works so much nicer, but i'd like to be certain. Help
 

Want to reply to this thread?

"Simplification of Logic" You must log in or register to reply here.

Related Threads for: Simplification of Logic

  • Posted
Replies
0
Views
1K
  • Posted
Replies
9
Views
7K
Replies
1
Views
2K
Replies
0
Views
3K
Replies
0
Views
2K
Replies
1
Views
989
Replies
2
Views
7K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top