( p ∧ q ) ↔ ( p ∨ q ) = p ↔

Celia Lucas

Celia Lucas

Answered question

2022-06-13

( p q ) ( p q ) = p q prove using logical statement
I am stuck on this question right now and it'd be great if someone can help me out. I managed to start it like this and it just stops there...
( p q ) ( p q ) ( p q ) ( p q ) ( p q ) ( p q )

Answer & Explanation

kuncwadi17

kuncwadi17

Beginner2022-06-14Added 16 answers

Step 1
1. ( p q ) ( p q )
2. [ ( p q ) ( p q ) ] [ ( p q ) ( p q ) ]
3. ( p q ) ( p q )
4. ( p q ) ( q p )
5. p q
Step 2
Note. All numbered propositions are equivalent. Also (2) equivalent to (3), because ( p q ) ( p q ) is a tautology.
Ayanna Trujillo

Ayanna Trujillo

Beginner2022-06-15Added 13 answers

Step 1
Incidentally the equivalence ( p q ) ( p q ) p q already holds.
Proof: ( ) If p q then we get
( p q ) ( p q ) ( p p ) ( p p ) p p True
Step 2
( ) Assuming H : ( p q ) ( p q ) try to show p q. For this, assume p, then we can conclude p q and therefore p q by H, finally giving us q. In the same fashion we can show q p and therefore overall p q

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?