AC FALSE

~ (AC)
inference logicAC
0

Truth check table

CaseAC ~ (AC)AC
1TTTF
2TFFF
3FTFF
4FFTT
Public: Yes; Show truth table: Yes;