simple from logic-interpreter

https://github.com/a1812/logic-interpreter
https://packagist.org/packages/a1812/logic-interpreter

~ ((A → B) ∧ (B → A))
0

Truth check table

CaseAB ~ ((A → B) ∧ (B → A))
1TTF
2TFT
3FTT
4FFF
Public: Yes; Show truth table: Yes;