SOLUTION: ~(A=B) A /~B

Algebra ->  Proofs -> SOLUTION: ~(A=B) A /~B      Log On


   

Question 607354: ~(A=B)
A /~B
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   ~( A = B ) 
2.   A                                         / ~B
-------------------------------------------------------
3.  ~( (A * B) v (~A * ~B) )                     1     Material Equivalence
4.  ~(A * B) * ~(~A * ~B)                        2     De Morgan's Law
5.  ~(A * B)                                     4     Simplification
6.  ~A v ~B                                      5     De Morgan's Law
7.  ~~A                                          2     Double Negation
8.  ~B                                           6,7   Disjunctive Syllogism