Please enable JavaScript.
Coggle requires JavaScript to display documents.
[ p ⇒ (q ∨ r) ] ⇔ [ (p ⇒ q) ∨ (p ⇒ r) ], V (F, F, V), V (V), V (F), V (V),…
[ p ⇒ (q ∨ r) ] ⇔ [ (p ⇒ q) ∨ (p ⇒ r) ]
[ p ⇒ (q ∨ r) ] ⇔ [ (p ⇒ q) ∨ (p ⇒ r) ]
V
[ p ⇒ (q ∨ r) ]
p
V
(q ∨ r)
V
q
V
1 more item...
F
1 more item...
r
V
1 more item...
F
1 more item...
p
F
(q ∨ r)
F
r
F
q
F
V
[ (p ⇒ q) ∨ (p ⇒ r) ]
(p ⇒ q)
V
(p ⇒ r)
V
p
V
1 more item...
F
1 more item...
F
p
V
r
F
p
V
q
V
F
q
F
F
p
V
q
F
(p ⇒ r)
V
p
V
1 more item...
[ p ⇒ (q ∨ r) ] ⇔ [ (p ⇒ q) ∨ (p ⇒ r) ]
F
[ p ⇒ (q ∨ r) ]
p
V
(q ∨ r)
F
r
F
q
F
F
[ (p ⇒ q) ∨ (p ⇒ r) ]
(p ⇒ q)
F
p
V
q
F
(p ⇒ r)
F
p
V
r
F
V
F
F
F
F
F
V
V
V
F
V
F
V
V
V
F
r
f
p
q
r
V
V
V
F
F
p
q
v
f