A B = ~ (AB) TRUE

AB
inference logic ~ (AB)

Truth check table

CaseABAB ~ (AB)
1TTFF
2TFFF
3FTFF
4FFTT
Public: Yes; Show truth table: Yes; Cloned from: @218(A ↓ B = ~(A∨B));