disjunctive syllogism TRUE

~ (AB)
(AB)D
inference logicD

Truth check table

CaseABD ~ (AB)(AB)D
1TTTFT
2TTFFT
3TFTFT
4TFFFT
5FTTFT
6FTFFT
7FFTTT
8FFFTF
Public: Yes; Show truth table: Yes;