simple ~ ((A B) (B A))

~ ((AB)(BA))
1

Truth check table

CaseAB ~ ((AB)(BA))
1TTF
2TFT
3FTT
4FFF
Public: Yes; Show truth table: Yes;