LOGIC PROOF
List
My list
Create
Clone
Info
Sign in
Equivalence A
↔
B
A
↔
B
0
Truth check table
Case
A
B
A
↔
B
1
T
T
T
2
T
F
F
3
F
T
F
4
F
F
T
Public:
Yes
;
Show truth table:
Yes
;
Cloned from:
@140
(
Equivalence A ↔ B
);