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
Security CTO to detail Android Fake ID flaw at Black Hat
Huge waves measured for first time in Arctic Ocean
Mysterious molecules in space
Mark44
#2
Jan29-10, 03:50 PM
Mentor
P: 21,215
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