check (AC)B CB TRUE

(AC)B
inference logicCB
0

Truth check table

CaseACB(AC)BCB
1TTTFT
2TTFFF
3TFTFT
4TFFTT
5FTTFT
6FTFFF
7FFTFT
8FFFFT
Public: Yes; Show truth table: Yes;