Wikipedia describes constructive dilemma in the following way:
Constructive dilemma is a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then either Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas, destructive dilemma is the disjunctive version of modus tollens.
The OP starts a proof for the first question by noting that one could use constructive dilemma to obtain "DvC".
DvC 2,4, Constructive dilemma
One can write "DvC" as "CvD". That might be the next line. Then one can use that line and line 1 with constructive dilemma to reach the desired conclusion: "DvB".
For the second problem the OP has reached line 9 with "KvG", but on line 6 one has "~K". By the use of disjunctive syllogism, one can derive "G".
Wikipedia describes disjunctive syllogism in the following way:
If we are told that at least one of two statements is true; and also told that it is not the former that is true; we can infer that it has to be the latter that is true. If P is true or Q is true and P is false, then Q is true.
Having "G" one can use disjunction introduction to obtain the desired conclusion "~RvG".
Wikipedia describes disjunction introduction in the following way:
Disjunction introduction or addition (also called or introduction) is a rule of inference of propositional logic and almost every other deduction system. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if P is true, then P or Q must be true.
"Constructive dilemma" Wikipedia https://en.wikipedia.org/wiki/Constructive_dilemma
"Disjunction introduction Wikipedia https://en.wikipedia.org/wiki/Disjunction_introduction
"Disjunctive syllogism" Wikipedia https://en.wikipedia.org/wiki/Disjunctive_syllogism
