Discreet math
posted by James .
[(pvq)^(p=>)^(q=>)]=>r[(pvq)^(p=>)^(q=>)]=>r

Discreet math 
MathMate
If you need a proof of the proposition/identity, please first double check the expressions.
[(pvq)^(p=>)^(q=>)]=>r[(pvq)^(p=>)^(q=>)]=>r
Not sure if something is missing where expression is indicated in bold. Perhaps there are other problems.
Respond to this Question
Similar Questions

Math Truth Tables
Construct a Truth Table for the given statement: 1. p implies ~(pVq) 2. ~(p AND q)Vp I thought this is how to do it, but my teacher marked it incorrect: 1. p q ~(pVq) p implies ~(pVq) T T F T implies T= T T F F T implies F= F F T F … 
Math Truth Tables
Construct a Truth Table for the given statement: 1. p implies ~(pVq) 2. ~(p AND q)Vp I thought this is how to do it, but my teacher marked it incorrect: 1. p q ~(pVq) p implies ~(pVq) T T F T implies T= T T F F T implies F= F F T F … 
Math
Construct a Truth Table for the given statement: 1. p implies ~(pVq) 2. ~(p AND q)Vp I thought this is how to do it, but my teacher marked it incorrect: 1. p q ~(pVq) p implies ~(pVq) T T F T implies T= T T F F T implies F= F F T F … 
Math
Construct a Truth Table for the given statement: 1. p implies ~(pVq) 2. ~(p AND q)Vp 
Math
Construct a Truth Table for the given statement: 1. p implies ~(pVq) 2. ~(p AND q)Vp 
discrete mathematics with applications
A logical equivalance is derived from Theorem,supply a reason for each step; (pv~q)^(~pvq) ß(~q v p)^(~q v ~p) by_________ ß ~q v(p ^ ~p) by_________ ß ~q v c by_________ ß ~q by_________ Therefore,(p v~q)^ (~p v ~q)ß … 
truth tables
(pVq)> ~p Construct a truth table 
geometry
Construct a truth table for (~pvq) ____> 
geometry
Construct a truth table for (~PVq)___> q 
Discrete Mathematics and its Application
Am not understanding , how to do the truth or Venn diagram to show a statement pv(q^r)is equivalent to (pvq)^(pvr). How can I show the statement is not equivalent to (pvq)^r. I have to explain my answer in truth or Venn diagram, but …