Register to reply

Simplifying a logical equivalence statement without a truth table

Share this thread:
needshelp5
#1
Jan25-10, 09:37 PM
P: 1
1. The problem statement, all variables and given/known data
[(p->r) ^ (q->r)] -> (p ^ q) -> r


2. Relevant equations
anything but a truth table! laws such as (p->q)= ~(p^~q) or (p->q)=(~q->~p) might help
Phys.Org News Partner Science news on Phys.org
Apple to unveil 'iWatch' on September 9
NASA deep-space rocket, SLS, to launch in 2018
Study examines 13,000-year-old nanodiamonds from multiple locations across three continents
Mark44
#2
Jan29-10, 03:50 PM
Mentor
P: 21,280
See how far you get using the relevant equations you showed. Other relevant equations that will come in handy are DeMorgan's Laws, ~(p ^ q) <==> ~p V ~q, and ~(p V q) <==> ~p ^ ~q.


Register to reply

Related Discussions
A confusion about truth table of logical implication Set Theory, Logic, Probability, Statistics 12
Logical equivalence of statements with truth tables Calculus & Beyond Homework 4
Truth value of statement Calculus & Beyond Homework 4
Truth of this statement? General Physics 5