Equival (AB)( ~ AB) TRUE

AB
( ~ A)B
inference logic(AB)( ~ AB)

Truth check table

CaseABAB( ~ A)B(AB)( ~ AB)
1TTTTT
2TFFFT
3FTTTT
4FFTTT
Public: Yes; Show truth table: Yes;