"not B" doesn't mean "something else which is not identically B", it means "the negation of B". Also, the statement "A->B" has absolutely no bearing on the stat

"not B" doesn't mean "something else which is not identically B", it means "the negation of B". Also, the statement "A->B" has absolutely no bearing on the statement "B->A". Hope this helps.