One more system of boolean equations solved via "Graphs and Systems of Logical equations" by E. A. Mironchick 08/2016

  

(x1=x2) v (x1=x3) v (x2=>x3) = 1
(x3=x4) v (x3=x5) v (x4=>x5) = 1
(x5=x6) v (x5=x7) v (x6=>x7) = 1
(x7=x8) v (x7=x9) v (x8=>x9) = 1
(x9=x10) v (x9=x11) v (x10=>x11) = 1

A diagram in rows and columns showing how the truth or falsity of a proposition varies with that of its components. (truth table for first equation)
  

    Building graph and proceed with calculation :-
  

 

    Passing control on Polyakov's Server
   

      

  Another Sample

    

(x1=x2) v (x1=x3) v (x2⊕x3) =1
(x3=x4) v (x3=x5) v (x4⊕x5) =1
(x5=x6) v (x5=x7) v (x6⊕x7) =1
(x7=x8) v (x7=x9) v (x8⊕x9) =1
(x9=x10) v (x9=x11) v (x10⊕x11) =1

    Truth table

  

   Building graph
  

      Passing control on Polyakov's Server

 

      References

     1. http://kpolyakov.spb.ru/download/mea-2016-8.pdf

The most recent revision of non-linear case of task 18 in EGE Informatics vs Standard aproach to solve 18-th in EGE Mathematics

Consider problem 7 from recent presentation  posted at
http://kpolyakov.spb.ru/school/ege.htm
Линейное (и нелинейное) программирование в задаче 18 ЕГЭ по информатике 

  

Now detect A like we manage to get the job done
working on problems 18-th of EGE Mathematics

f1(x) =(x-A)^2 + 10
f2(x) = -x^2/4 + 30

System 1

(1) f1(x) = f2(x)
(2) df1(x)/dx= df2(x)/dx

Getting derivatives:-

df1(x)/dx = 2(x-A)
df2(x)/dx = -x/2

First:-  Solve (2)

2(x-A) = -x/2
(5/2)x = 2*A
x = (4/5)*A

Second:-  Solve (1)

((4/5)A -A)^2 + 10 =  (-1/4)*(16/25)*A^2 + 30
(-1/5)^2*A^2 +10  =  (-1/4)*(16/25)*A^2 + 30
((1/25)+(4/25))*A^2 = 20
(1/5)*A^2 = 20

Here we go :-

A^2 = 100
A= |100^(1/2)| = 10

Would I skip original declaration in header, new revision (non-linear) of 18 -th EGE Informatics would look pretty much like 18-th in EGE Mathematics having average level of difficulty.
Obviously complexity of non-linear revision of 18-th EGE Informatics might be significantly increased  when it would be designed for real EGE exam. 
1)  Make skiils set to build area colored gray on second snapshot requiring
     boolean algebra in depth knowledge.
2)  Good background in differential geometry, specifically touch of curves related

Condition D=0 works only for parabolic curves.  Method applied above has
universal nature. See for instance

 See also other samples at http://www.math24.ru/%D1%81%D0%BE%D0%BF%D1%80%D0%B8%D0%BA%D0%BE%D1%81%D0%BD%D0%BE%D0%B2%D0%B5%D0%BD%D0%B8%D0%B5-%D0%BF%D0%BB%D0%BE%D1%81%D0%BA%D0%B8%D1%85-%D0%BA%D1%80%D0%B8%D0%B2%D1%8B%D1%85.html

Ongoing Regression in VK's Newswire INFORMATICS _100 as of 20/10/2018

See following slides show

  

 

   Either activate connection to VK to get link bellow working

   https://vk.com/informatics_100?z=photo-40390768_456263721%2Fwall-40390768_160976


   Just remind that

 

   

 Thus

   P^(¬Q v A) v ¬P = 1
  (P v ¬P)^(¬P v ¬Q v A) =1
  (¬P v ¬Q v A) = 1

A(min) = ¬(¬P v ¬Q)=P^Q = [45;60]

Несколько систем логических уравнений из новостной ленты ВКонтакте, эффективно использующих технику Е.А.Мирончик (mea-2016-08.pdf)

   Решение
  

 

   Решение

   

  

   Решение
  

      

  
   Преобразуем к виду

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

   Решение
   

Метод Отображений (Графы и системы логических уравнений) vs Метод битовых масок .Решение последнего примера из Новостной ленты Информатика 100 баллов по схеме mea-2016-8.pdf

  

  

 Все строки оригинальной системы могут быть преобразованы
 в эквивалентые конъюнкции следующим образом

(x1 v x2)  => ¬(x3 v x4) =1
  ¬(x1 v x2) v ¬(x3 v x4) =1
    (x1 v x2)^(x3 v x4) = 0

Далее применяем Метод отображения по
схеме из mea-2016-08.pdf как и ранее

Метод Отображений (Графы и системы логических уравнений) vs Метод битовых масок .Решение одного не вполне тривиального примера по Е.А.Мирончик (mea-2016-8.pdf)

Рассмотрим систему, где Метод битовых масок похоже мало чем может помочь :-

(x1=>x2) v (x3=>x4=>x5)=1
(x3=>x4=>x5) v (x6=>x7=>x8=>x9)=1
(x6=>x7=>x8=>x9) v (x10=>x11=>x12=>x13=>x14)=1

и применим технику из http://kpolyakov.spb.ru/download/mea-2016-8.pdf
      

     Здесь мы обратимся к классике жанра , используя идеологию того же автора

    SystemOne

   Контроль по Полякову

  

    Рассмотрим систему

     (x1=>x2) v (x3=>x4=>x5)=1
     (x3=>x4=>x5) v (x6=>x7=>x8=>x9)=1
     (x6=>x7=>x8=>x9) v (x10=>x11=>x12=>x13=>x14)=1
     (x10=>x11=>x12=>x13=>x14) v (x15=>x16=>x17=>x18=>x19=>x20)=1
   
   Используем SystemOne (per chain of implications length 6) получаем

  

Метод Отображений (Графы и системы логических уравнений) vs Метод битовых масок .Решение последнего примера из Новостной ленты Информатика 100 баллов по Е.А.Мирончик (mea-2016-8.pdf)

  

  

  

  Посмотрим на вопрос со стороны 
http://kpolyakov.spb.ru/download/mea-2016-8.pdf