In the parse tree below, click on each of the positive subformulae.
Once you have selected all the positive subformulae, click 'Check Answers'.
(A → (¬B & ((C ∨ D) & (E → ¬F))))
A
(¬B & ((C ∨ D) & (E → ¬F)))
¬B
B
((C ∨ D) & (E → ¬F))
(C ∨ D)
C
D
(E → ¬F)
E
¬F
F
Check Answers