**an example**of

**Reflexive Transitive Closure**?

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

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:
**4754**

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:
**5942**

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:
**5942**

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:
**5942**

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:
**5942**

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

Prove this using Precedence rule and Law of statement algebra.