The Logic Resource Center

Select an available conjunction with a conjunction as its right conjunct or an available disjunction with a disjunction as its right disjunct.
Click "Apply"

Backward

Select a goal conjunction with a conjunction as its left conjunct or a goal disjunction with a disjunction as its left disjunct.
Click "Apply"

Preview shown for the Point And Click derivation type in the The Logic Book system