Simple - B(AB) TRUE

B(AB)
inference logicB
0

Truth check table

CaseBAB(AB)
1TTT
2TFT
3FTF
4FFF
Public: Yes; Show truth table: Yes; Cloned from: @218(A ↓ B = ~(A∨B));