1. D > (A * G)
2. (A v B) > [(C > Q) * D] // A = D
-------------------------------------------------------
3. ~D v (A * G) 1 MI
4. (~D v A) * (~D v G) 3 Dist
5. ~D v A 4 Simp
6. D > A 5 MI
7. ~(A v B) v [(C > Q) * D] 2 MI
8. [~(A v B) v (C > Q)] * [~(A v B) v D] 7 Dist
9. [~(A v B) v D] * [~(A v B) v (C > Q)] 8 Comm
10. ~(A v B) v D 9 Simp
11. (~A * ~B) v D 10 DM
12. D v (~A * ~B) 11 Comm
13. (D v ~A) * (D v ~B) 12 Dist
14. D v ~A 13 Simp
15. ~A v D 14 Comm
16. A > D 15 MI
17. (A > D) * (D > A) 16,6 Conj
18. A = D 17 ME
Abbreviations used:
MI = Material Implication
Dist = Distribution
Simp = Simplification
Comm = Commutation
DM = De Morgan's Law
Conj = Conjunction
ME = Material Equivalence