AC FALSE

~ (AC)
inference logicAC

Truth check table

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