Verification of comprehension the core idea of P27 Solution via Mapping Method ( second one proposed in ege23.doc )

 Проверка понимания основной идеи решения P27  с помощью метода сопоставления  (второй предложенный в ege23.doc). Рассмотрим следующую систему в логических переменных

(x1 v x2) ^ (x1^x2 =>x3) ^ ((x1 =>y1) =>z1)=1

(x2 v x3) ^ (x2^x3 =>x4) ^ ((x2 =>y2) =>z2)=1

(x3 v x4) ^ (x3^x4 =>x5) ^ ((x3 =>y3) =>z3)=1

(x4 v x5) ^ (x4 =>y4) ^ ((x5 =>y5) =>z5) =1

Сначала мы строим диаграмму между x1x2 и x2x3, отслеживая все пары битов y1z1 в более сложной ситуации, чем в P27 (четыре комбинации для рассмотрения {00,01,10,11}).  Имея в виду соответствие бит x2 слева и справа. Во-вторых, мы строим диаграмму между x4x5 и y4y5, отслеживая все пары битов z5 {0,1}.