A [( (B C ) D) A] TRUE

A
inference logicA(((BC)D)A)
0

Truth check table

CaseABCDA(((BC)D)A)
1TTTTT
2TTTFT
3TTFTT
4TTFFT
5TFTTT
6TFTFT
7TFFTT
8TFFFT
9FTTTT
10FTTFT
11FTFTT
12FTFFT
13FFTTT
14FFTFT
15FFFTT
16FFFFT
Public: Yes; Show truth table: Yes;