Solution task №140 from ege18.pdf via Algebra of predicates {D(k)} VS Stream 32 issued by Informatik BU

Original task

BU's logic is explained here https://www.youtube.com/watch?v=QsC5rHfUb44
(48 min 15 sec )

   Now solve same task following "ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)" Informatics at school #3 2019

 https://vk.com/club180658320?w=wall-180658320_65%2Fall

(D(A)^¬D(36)) => ¬D(12)≡1
¬D(A) V D(36) V ¬D(12) ≡1
Due to :-
  D(12) = D(2^2)^D(3)
¬D(12) = ¬D(2^2) V ¬D(3) 
So we get
 ¬D(A) V D(2^2)^D(3^2) V ¬D(2^2) V ¬D(3) ≡1
Suppress D(2^2) in conjunction
¬D(A) v D(2^2)^D(3^2) V ¬D(2^2) V ¬D(3) ≡1
¬D(A) V D(3^2) V ¬D(12) ≡1
Thus A(min) = 9