Consider following sample testing Demo of EGE 2016
Solution via building basic diagram and generated table via mapping has been setup
Next sample
¬A => (Z(30) => ¬Z(20))
A + ( ¬Z(30) + ¬Z(20))
¬(Z(30)Z(20)) +A
(Z(30)Z(20)) => A
30 = 11110
v
20= 10100
——————
Result = 11110 =30
A(max) = 30