Mapping metod of solution on system of boolean equations tasks of type 23 && advanced Z(k) approach for tasks of type 18

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