A(BC)(AB)(AC) TRUE

A(BC)
inference logic(AB)(AC)
1

Truth check table

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