A (B C ) (A B) C TRUE

A(BC)
inference logic(AB)C
0

Truth check table

CaseABCA(BC)(AB)C
1TTTTT
2TTFFF
3TFTFF
4TFFFF
5FTTFF
6FTFFF
7FFTFF
8FFFFF
Public: Yes; Show truth table: Yes;