The negation of A→(A∨∼B)
a fallacy
equivalent to (A∧∼B)→A
equivalent to (A∨∼B)→A
a tautology
Consider the table below:
AB∼BA∨∼BA→(A∨∼B)∼(A→(A∨∼B)TFTTTFFTFFTF
So, the negation of A→(A∨∼B) is fallacy