2Equivalence A B TRUE

1

A((BC)B)
inference logic ~ AB
A

AA

B

BB

C

CC

0

Truth check table

CaseABCA((BC)B) ~ AB
1TTTFT
2TTFFT
3TFTFF
4TFFFF
5FTTTT
6FTFTT
7FFTTT
8FFFTT
Public: Yes; Show truth table: Yes; Cloned from: @140(Equivalence A ↔ B);