LOGIC PROOF
List
My list
Create
Clone
Info
Login
(
~
p
∨
q)
↔
(p
→
q)
TRUE
p
q
(
~
p
∨
q)
↔
(p
→
q)
Truth check table
Case
p
q
(
~
p
∨
q)
↔
(p
→
q)
1
T
T
T
2
T
F
T
3
F
T
T
4
F
F
T
Public:
Yes
,
Show truth table:
Yes
,
Tags: