Simplify the proposition (p→q) ∨ ((¬q→r) ∧ (¬r→¬p))

  • Level: Undergrad 
  • Thread starter shanshayan
  • Start date
  • Tags Tags
    Idea Simplify
2 replies · 2K views · last reply
shanshayan
Messages
3
Reaction score
0
[ p→>q] or [ (>q→r) and (>r→>p) ]

thank you
 

Discussion

You must show your attempt at solving it before we can help you.
 

Similar threads

Undergrad Translate compound proposition p → q (implication) to p↓q question
  • VinnyW
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
High School How does r∪(-p∩q∩-r) simplify to r∪(-p∩q) ?
  • SamRoss
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
What is the simplified form of (p ∧ q) ↓ q using basic propositional logic?
  • moredumbimpossi
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
Prop Logic Proof Help: (pv~q)vr; ~pv(q.~p)/q>r
  • chanimal
  • · Replies 4 ·
  • Set Theory, Logic, Probability, Statistics
Replies
4
Venn Diagram: p v (q ^ r) = (p v q) ^ (p v r)
  • barbara
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Undergrad Prove Logical Equivalence of P->(Q or R)
  • The Subject
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Simplify Logic using One Connective: Solving ((q→p) ^ (p→r))→(r→q)
  • c4nn3t
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Undergrad P=>q, q=>r, then p=>r (proof assumes p why?)
  • chisser98
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Can the premise P∨Q be ignored in a propositional logic proof?
  • Guest2
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Show that p³q + q³r + r³p is a constant
  • anemone
  • · Replies 2 ·
  • General Math
Replies
2