Perhaps this is what you want: $$ ( \
eg Q \land \
eg R) \lor R = (\
eg Q \lor R) \land (\
eg R \lor R) $$
Note that $\
eg R \lor R$ is always true, so the above becomes: $$\
eg Q \lor R.$$
Perhaps this is what you want: $$ ( \
eg Q \land \
eg R) \lor R = (\
eg Q \lor R) \land (\
eg R \lor R) $$
Note that $\
eg R \lor R$ is always true, so the above becomes: $$\
eg Q \lor R.$$