A B = ~ (AB) TRUE

AB
inference logic ~ (AB)

Truth check table

CaseABAB ~ (AB)
1TTFF
2TFFF
3FTFF
4FFTT
Public: Yes; Show truth table: Yes;