test FALSE

AB
B
inference logic(AB) ~ A
-2

Truth check table

CaseABAB(AB) ~ A
1TTTF
2TFFF
3FTTT
4FFTT
Public: Yes; Show truth table: Yes; Cloned from: @245(test5);