Register to reply

Simplification of Logic

by Hypnos_16
Tags: computer science, logic, simplification
Share this thread:
Sep19-11, 01:06 PM
P: 153
1. The problem statement, all variables and given/known data

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. Relevant equations


3. The attempt at a solution

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

(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
Phys.Org News Partner Science news on
Climate change increases risk of crop slowdown in next 20 years
Researcher part of team studying ways to better predict intensity of hurricanes
New molecule puts scientists a step closer to understanding hydrogen storage

Register to reply

Related Discussions
Inconsistency In Sentence Logic and in Predicate Logic Set Theory, Logic, Probability, Statistics 6
Logic Problem test your logic Fun, Photos & Games 21
Logic axiom of simplification. Set Theory, Logic, Probability, Statistics 4
Is 'Fuzzy' logic an appropiate Quantum logic ? Quantum Physics 2