Search found 6 matches

Return to advanced search

Prove that (A => ~B) & (B => A) = ~B  TOPIC_SOLVED

(A => ~B) & (B => A) = ~B

Where, => is Implies, ~ is Not, & is AND, = is Logically Equivalent
Prove this using Precedence rule and Law of statement algebra.
by carl89
on Thu Sep 19, 2013 1:46 am
 
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 1242

Re: Prove that (A => ~B) & (B => A) = ~B  TOPIC_SOLVED

PRECEDENCE RULES HIGHEST TO LOWEST: ~, &, V(OR), =>, <=> THIS IS WHAT I HAVE SO FAR: (~A V (~B)) & (~B V A) [ELIMINATE =>] [(~A V ~B) & ~B] V [(~A V ~B) & A] [DISTRIBUTION] [~B & (~A V ~B)] V [A & (~A V ~B)] [COMMUNATIVE] [(~B & ~A) V (~B & ~B)] V [(A & ~A) V (A &...
by carl89
on Thu Sep 19, 2013 2:05 pm
 
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 1242

Re: Prove that (A => ~B) & (B => A) = ~B  TOPIC_SOLVED

Im only trying to prove that Left hand side of the statement is logically equivalent to ~B. I tried the truth table method and it worked just fine.
by carl89
on Fri Sep 20, 2013 1:15 am
 
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 1242

Re: Prove that (A => ~B) & (B => A) = ~B  TOPIC_SOLVED

truth table method is not allowed it was just for confirmation so i have to go to this long way and keep getting stuck at same spot every time. :oops:
by carl89
on Fri Sep 20, 2013 2:05 pm
 
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 1242

Re: How do you divide by 0.91, written out by hand?  TOPIC_SOLVED

45500/0.91 = (45500*100)/91 = 50000
by carl89
on Sun Sep 22, 2013 1:15 pm
 
Forum: Arithmetic
Topic: How do you divide by 0.91, written out by hand?
Replies: 2
Views: 1388

Example of Reflexive Transitive Closure?  TOPIC_SOLVED

Can Some one please give me an example of Reflexive Transitive Closure?
by carl89
on Sun Nov 10, 2013 1:43 pm
 
Forum: Discrete Math
Topic: Example of Reflexive Transitive Closure?
Replies: 1
Views: 335

Return to advanced search