A p ∧ v.
B p ∨ p.
C p ∧ ~p.
D p ∨ q → p ∧ q.
E p ∨ ~p.