## Search found 6 matches

Sun Nov 10, 2013 1:43 pm
Forum: Discrete Math
Topic: Example of Reflexive Transitive Closure?
Replies: 1
Views: 1258

### Example of Reflexive Transitive Closure?

Can Some one please give me an example of Reflexive Transitive Closure?
Sun Sep 22, 2013 1:15 pm
Forum: Arithmetic
Topic: How do you divide by 0.91, written out by hand?
Replies: 2
Views: 4857

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

45500/0.91 = (45500*100)/91 = 50000
Fri Sep 20, 2013 2:05 pm
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 6143

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

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.
Fri Sep 20, 2013 1:15 am
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 6143

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

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.
Thu Sep 19, 2013 2:05 pm
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 6143

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

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 & ~B)] [DISTRIBUTIVE] [(~B & ~A) V (~...
Thu Sep 19, 2013 1:46 am
Forum: Discrete Math
Topic: Prove that (A => ~B) & (B => A) = ~B
Replies: 7
Views: 6143

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

(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.