AB; BC; inference ~ C ~ A TRUE

AB
BC
inference logic ~ C ~ A

Truth check table

CaseABCABBC ~ C ~ A
1TTTFFF
2TTFFFF
3TFTFFF
4TFFFTF
5FTTFFF
6FTFFFT
7FFTTFF
8FFFTTT
Public: Yes; Show truth table: Yes;