Solution of one system of equations in boolean variables from VK's news wire as of 29.11.17

 Due to (x[j]^x[j+1])v(¬x[j]^¬x[j+1]) = (x[j] ≡ x[j+1])

  (x1 ≡ x2) v (x1 ≡ x3) = 1
  (x2 ≡ x3) v (x2 ≡ x4) = 1
  (x3 ≡ x4) v (x3 ≡ x5) = 1
  (x4 ≡ x5) v (x4 ≡ x6) = 1
  (x5 ≡ x6) v (x5 ≡ x7) = 1
  (x6 ≡ x7) v (x6 ≡ x8) = 1
  (x7 ≡ x8) v (x7 ≡ x9) = 1
  (x8 ≡ x9) v (x8 ≡ x10) = 0

   The first one base diagram is generating matrix fom x1x2 to x8x9
   The second one is base diagram doing final step x8x9 to x9x10 .
   It is different from original.
  

   Калькулятор Полякова

Another system, but same approach schema via Mapping Method with
changing basic diagram to get final column properly.

 

  
Matrix generated via Mapping Method

Решение некоторых систем уравнений в булевских переменных (29,30) Методом Отображений

Исочник 1Сколько различных решений имеет система уравнений.pdf

Исходная система (30) :-

x1 => x2 => x3  => x4 => x5 => x6 = 1
y1 => y2 => y3 => y4 => y5 => y6 = 1
x1 => y6 = 0
y1 => x6 = 0

Исходная система (29) :-

x1 => x2 => x3  => x4 => x5 = 0
y1 => y2 => y3 => y4 => y5  = 0
x1 => y5 =1

Далее мы следуем методу изначально изложенному в работе http://www.loiro.ru/files/news/news_943_etodotobrajeniya-mea-2013-10.pdf

Построим базовую диаграмму для генерации таблицы Методом Отображений по Е. А. Мирончик

Первая "=>" есть (x1=>x2)
Вторая "=>" есть ((x1=>x2)=>x3)
Третья "=>" есть ((x1=>x2)=>x3)=>x4
Четвертая "=>" есть (((x1=>x2)=>x3)=>x4)=>х5

  
x1 => x2 => x3  => x4 => x5 => x6 = 1
y1 => y2 => y3 => y4 => y5 => y6 = 1
x1 => y6 = 0
y1 => x6 = 0

  Калькулятор Полякова
  

  

Решение задачи №475 (вариант 8 №23) сайт Полякова Методом Отображений

    **************************************************
    Конвертируем систему к эквивалентной
    **************************************************
         (x1 => x2) ^(y1 => y2) =1
         (x2 => x3) ^(y2 => y3) =1
         (x3 => x4) ^(y3 => y4) =1
         (x4 => x5) ^(y4 => y5) =1
         (x5 => x6) ^(y5 => y6) =1
         x1 => y1 =1

         x1y1 по строке "10" равно "0" при инициализации
         генерации матрицы.

    

Техника решений ЕГЭ Задача 18 Полякова&&Здвижковой versus Video's от Информатика БУ

    Смотри http://kpolyakov.spb.ru/download/bitwise2.pdf

   Z(43) + ( Z(50) => ¬A) = 1
   Z(43) + ¬Z(50) + ¬A = 1
   ¬(Z(50)A) => Z(43) = 1
   Z(50)A  => Z(43) = 1
   Z(50 or A)  => Z(43) = 1

   43 = 101011 (binary)
   50 = 110010 (binary)
  ==============
   A  = 001001 (binary)  = 9 (decimal)
   A(min) = 9

   Смотри http://kpolyakov.spb.ru/download/inf-2015-10.pdf
                 http://информатика23.рф/

   D(45)^¬D(15) => ¬A = 1
  ¬D(45) + D(15) + ¬A = 1 
  ¬ (D(45)^A) + D(15) = 1
  D(45)^A  => D(15) = 1   

  A(min) = 1