LOGIC PROOF
List
My list
Create
Clone
Info
Login
Equival (A
→
B)
↔
(
~
A
∨
B)
TRUE
A
→
B
(
~
A)
∨
B
(A
→
B)
↔
(
~
A
∨
B)
Truth check table
Case
A
B
A
→
B
(
~
A)
∨
B
(A
→
B)
↔
(
~
A
∨
B)
1
T
T
T
T
T
2
T
F
F
F
T
3
F
T
T
T
T
4
F
F
T
T
T
Public:
Yes
;
Show truth table:
Yes
;