Once again bitmasks versus Mapping Metod on Classic EGE "Problem"

Originally suggested in 2011

 

    Notice that

   ( x1^x2 v ¬x1^x2) v (¬x3^x4 v x3^¬x4) = 1
   ( x3^x4 v ¬x3^x4) v (¬x5^x6 v x5^¬x6) = 1
   . . . . . .
   ( x7^x8 v ¬x7^x8 ) v (¬x9^x10) v x9^¬x10) = 1

   might be converted via substitution

    z1 = (x1~x2)
    z2 = (x3~x4)
   . . . . . .
   z4 = (x7~x8)
   z5 = (x9~x10)

   into next one

   z1 v ¬z2  =1
   z2 v  ¬z3 =1
   z3 v ¬z4  =1
   z4 v ¬z5  =1


  The last one is equvalent to

 z2 => z1 =1
 z3 => z2 =1
 z4 => z3 =1
 z5 => z4 =1


z5  z4  z3 z2  z1
-------------------------
1    1    1   1   1
0    1    1   1   1
0    0    1   1   1
0    0    0   1   1
0    0    0   0   1
0    0    0   0   0


Answer would be 6*2^5= 192

*****************************
Mapping method
*****************************

(x1~x2) v ¬(x3~x4)  = 1
(x3~x4) v ¬(x5~x6)  = 1
(x5~x6) v ¬(x7~x8)  = 1
(x7~x8) v ¬(x9~x10)= 1